write_btor: Include $assert
and $assume
cells in -ywmap output
#280
Job | Run time |
---|---|
7s | |
4m 4s | |
4m 11s |
$assert
and $assume
cells in -ywmap output
#280
Job | Run time |
---|---|
7s | |
4m 4s | |
4m 11s |