Skip to content

smt2 id_map: Do not use nil_typet when we mean "optional" [blocks: #3800]#3948

Merged
tautschnig merged 2 commits intodiffblue:developfrom
tautschnig:deprecation-nil_typet-smt2
Jan 27, 2019

Commits

Commits on Jan 27, 2019