feat: handle exit points with unknown satisfiability

cksystemsgroup / monster

Monster is a symbolic execution engine for 64-bit RISC-U code

https://cksystemsgroup.github.io/monster

MIT License

10 stars 3 forks source link

Closed ChristianMoesl closed 3 years ago

ChristianMoesl commented 3 years ago

disable optimistic search space pruning, when generating SMT-lib files. fix a bug, which crashes the engine, when satisfiability is unknown.

github-actions[bot] commented 3 years ago

:tada: This PR is included in version 0.4.0 :tada:

The release is available on:

Your semantic-release bot :package::rocket: