CBMC
|
collection of pairs (for Pensieve's static delay-set analysis) in graph of abstract events More...
Go to the source code of this file.
Macros | |
#define | OUTPUT(s, fence, file, line, id, type) s<<fence<<"|"<<file<<"|"<<line<<"|"<<id<<"|"<<type<<'\n' |
collection of pairs (for Pensieve's static delay-set analysis) in graph of abstract events
Definition in file pair_collection.cpp.
#define OUTPUT | ( | s, | |
fence, | |||
file, | |||
line, | |||
id, | |||
type | |||
) | s<<fence<<"|"<<file<<"|"<<line<<"|"<<id<<"|"<<type<<'\n' |
Definition at line 22 of file pair_collection.cpp.