search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
27 stars 4 forks source link

Minor changes to build and run tests in Visual Studio #14

Closed wuestholz closed 8 years ago

wuestholz commented 8 years ago

@delcypher I got the following errors:

C:\code\symbooglix\src\SymbooglixLibTests\OnlyOneSolverCall.cs(46,30,46,42): error CS0165: Use of unassigned local variable 'beforeAssert'
C:\code\symbooglix\src\SymbooglixLibTests\OnlyOneSolverCall.cs(47,30,47,41): error CS0165: Use of unassigned local variable 'afterAssert'
C:\code\symbooglix\src\SymbooglixLibTests\Havoc.cs(49,43,49,50): error CS0165: Use of unassigned local variable 'aBefore'
delcypher commented 8 years ago

@wuestholz Thanks for the fixes