Skip to content

Commit 78de212

Browse files
kjcjohnsonkjcjohnson
authored
Merge pull request #115 from SemGuS-git/kjcjohnson/legacy-symbols-option
Add option to disable legacy symbols in CHC JSON events
2 parents 01c2d33 + 7dc7f52 commit 78de212

5 files changed

Lines changed: 59 additions & 2 deletions

File tree

‎IntegrationTests/tests/test-json-no-legacy-symbols.rsp‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
--test
2+
--format
3+
json
4+
--mode
5+
batch
6+
--no-legacy-symbols

0 commit comments

Comments
 (0)