search

delcypher / freeboogie

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

get all tests from boogie's codeplex #68

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
With the migration from Boogie 1 to 2 I had to strip down many tests.
However, there are lots others I can grab from MSR!

Original issue reported on code.google.com by radugrig...@gmail.com on 1 Feb 2011 at 8:47