diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-05 19:04:10 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-05 19:04:10 -0500 |
commit | 6a61c1a75b08867c7c06623b8c03084056b6bed7 (patch) | |
tree | 9dbf9843b61a5b12a0884d1d78026c01a87fcb79 /src/smt/command.cpp | |
parent | c8015e6dc858a3fd13234ec4acb22c80cb339ddc (diff) |
Smt2 parsing support for nested recursive datatypes (#4575)
Also includes some minor improvement to expand definitions in TheoryDatatypes leftover from the branch.
Adds 3 regressions using the option --dt-nested-rec.
Diffstat (limited to 'src/smt/command.cpp')
0 files changed, 0 insertions, 0 deletions