search

boogie-org / corral

solver for the reachability modulo theories problem
MIT License
58 stars 29 forks source link

Updated Boogie to 2.8.33 #153

Closed zvonimir closed 3 years ago

zvonimir commented 3 years ago

Some command line options (such as time out) moved from int to uint. This adapts Corral to that change.

zvonimir commented 3 years ago

@akashlal This will probably require a few iterations to get it right, but I cannot test it properly until we merge it. Hence, I suggest we merge it in, and then I'll fix any issues that might arise. Thanks!

zvonimir commented 3 years ago

Note that this pull request actually updated Boogie to its latest version (2.9.1) since I first had to fix an issue there. It also switches to using .NET 5.0.