search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

fix tc2.ok/test00.in #6

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Make sure that tc2.ok/test00.in is processed without errors by MSR Boogie.

Original issue reported on code.google.com by radugrig...@gmail.com on 25 Jul 2009 at 8:16

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision r588.

Original comment by radugrig...@gmail.com on 18 Aug 2009 at 11:17