write_btor: Include $assert and $assume cells in -ywmap output
#281
| Job | Run time |
|---|---|
| 4s | |
| 0s | |
| 4s |
$assert and $assume cells in -ywmap output
#281
| Job | Run time |
|---|---|
| 4s | |
| 0s | |
| 4s |