Skip to content

goto_trace: unbounded integers are now shown like other numbers#3262

Merged
tautschnig merged 1 commit intodevelopfrom
smt2-integer
Nov 5, 2018
Merged

goto_trace: unbounded integers are now shown like other numbers#3262
tautschnig merged 1 commit intodevelopfrom
smt2-integer

Commits

Commits on Nov 5, 2018