write_btor: Include $assert and $assume cells in -ywmap output
#116
The logs for this run have expired and are no longer available.
Loading
$assert and $assume cells in -ywmap output
#116