Fix driver test under release build and enable Travis release build

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

MIT License

27 stars 4 forks source link

Closed delcypher closed 8 years ago

delcypher commented 8 years ago

Fix

basic/concrete/infeasible_ensures.bpl

under release build and enable release build under TravisCI.

delcypher commented 8 years ago

Fixed by e77281e7afcebc14de769f02081d28000389eaa8 and 22087c862fb2953cc0ffc2dd2f5df45ec5deca80