replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
diffblue-cbmc/regression/cbmc/show_properties1
History
Michael Tautschnig 3b343a7710 show-properties: do not skip functions marked for inlining 
As of f443b1815e we don't do (partial) inlining by default anymore. Thus
show-properties ended up with incomplete output.
 		2018-11-09 19:46:51 +00:00
..
main.c show-properties: do not skip functions marked for inlining 2018-11-09 19:46:51 +00:00
test.desc show-properties: do not skip functions marked for inlining 2018-11-09 19:46:51 +00:00