write_btor: Include $assert and $assume cells in -ywmap output
#138
KrystalDelusionextra-builds.yml
on: pull_request
$assert and $assume cells in -ywmap output
#138