Skip to content

transt: add a non-deprecated constructor#3772

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:deprecation-transt
Jan 12, 2019

Commits

Commits on Jan 12, 2019