Status update

1 view

Skip to first unread message

Martin Riener

unread,

Sep 12, 2010, 8:06:03 AM9/12/10

to cavlu2010_group1, cav-g...@googlegroups.com, cav-g...@googlegroups.com

Hi everybody!

The bugs in the unwinder should (hopefully) be fixed. You can get the
graph in dot/graphviz by setting the variable
IRObject2G3::outputGraphViz to true (have not made this into an option,
so I don't know if you want this, default is false) and calling

Debug/CAV-LU-BMC -f src/Parser/TestCase2.txt 2> /dev/null | grep DOT |
sed -r "s/^DOT//" > file.dot; dot -Tpdf -o file.pdf file.dot

to generate a pdf of the unwound graph (group3 needed to output the
structure at some point). Outpur for the examples TestCase2ext.txt and
TestCase4.txt are at:

http://xover.mud.at/marty/file2.pdf
http://xover.mud.at/marty/file4.pdf

(be patient with the second one, it takes some time to render)

Ad Group 3: As i told Markus on Thursday, please call me, if something
(from our part ;) ) is broken - at least Stephan and Markus from your
group have my number for some time and finding out some hours afterwards
that there is a problem is a pain for all of us.