feat: create custom CLI command for SMT-lib file generation

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

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: