search

boogie-org / symbooglix

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

Support triggers on quantified expressions #6

Closed delcypher closed 8 years ago

delcypher commented 8 years ago

Fixed by 14834e7