Skip to content

SMT2 parser: use lambda for function defintions#6191

Merged
kroening merged 1 commit intodevelopfrom
smt2_use_lambda
Jun 20, 2021

Commits

Commits on Jun 19, 2021