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.