Skip to content

Commit

Permalink
Update test outputs
Browse files Browse the repository at this point in the history
  • Loading branch information
@ozgurakgun
ozgurakgun committed May 18, 2023
1 parent f9260fb commit 9900f88
Show file tree
Hide file tree
Showing 1,573 changed files with 3,008 additions and 12,905 deletions.
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/007a2218db6f96b1069561e17b3198fb/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/00becdadf865e1668c0d5917a1c7e988/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/00c93ca5de9edf4765d4a3db4f26a13b/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration": {"Letting": [{"Name": "var1_1"}, {"Constant": {"ConstantBool": false}}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/00f3f6e00d6aaa0c44f7a7bfaeabf301/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/0155ed23298044f98c24b049e9f674d5/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/016e7609f3aa273a2a9d8f851cda23b0/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/01a3688574d726ff7368c0b8e640be02/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/021ccd3de28fccf2cc4b495fdba30109/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/0259a42fad990d5498c3d9c6c199da94/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/0264be56cbed0b31969c94d730d856a7/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration": {"FindOrGiven": ["Find", {"Name": "var1"}, {"DomainBool": []}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/02a5303be013b97d8241ff52e4c93499/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/02c3aa1d8caffbb46bfd62c52ace0e3e/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements": [{"Declaration": {"Letting": [{"Name": "var1"}, {"Constant": {"ConstantInt": [{"TagInt": []}, 0]}}]}}]}
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/03336ac6e1e3f3c00e3feb6957358811/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/033e7117d1cbfb11af319112434a43c4/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/0360b7add8f8f957bcca54a56c5cae9c/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/0380e49407e31794a0b2dd8a573308eb/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/03959476e48f296a9ba7589337ba980d/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration": {"FindOrGiven": ["Find", {"Name": "var1"}, {"DomainBool": []}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/039a29d0d4631598657b8b2611a05cf6/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/03e9b7dea0376c9fae09687f25f3c8d4/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration": {"Letting": [{"Name": "var1"}, {"Constant": {"ConstantBool": true}}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/03fa5e0fb1010e34c88e5d085c726276/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/03ff6c27828b6e1887413bd4d0ed9f38/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration": {"FindOrGiven": ["Find", {"Name": "var1"}, {"DomainBool": []}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/045555e7bef90702ef51f7c87bdc67e8/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration": {"FindOrGiven": ["Find", {"Name": "var2"}, {"DomainBool": []}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/04747f0c54d6be6d41109f6968f5d8de/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration": {"FindOrGiven": ["Find", {"Name": "var1"}, {"DomainBool": []}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/0474d7b3e0fc1f9e80683bed58112545/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration": {"FindOrGiven": ["Find", {"Name": "var2"}, {"DomainBool": []}]}},
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/0475bec5e477e09755c930ee9cb1e77c/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "Essence"}, "version": [1, 3]},
"mStatements":
[{"Declaration":
Expand Down
4 changes: 2 additions & 2 deletions tests/parse_print/autogen-bilals-fixed/050ad75061d29ef27db160ad376241d6/model.expected.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"mInfo":
{"finds": [], "givens": [], "enumGivens": [], "enumLettings": [], "lettings": [], "unnameds": [],
"strategyQ": {"Auto": {"Interactive": []}}, "strategyA": {"Auto": {"Interactive": []}}, "trailCompact": [],
"trailVerbose": [], "trailRewrites": [], "nameGenState": [], "nbExtraGivens": 0, "representations": [],
"representationsTree": [], "originalDomains": [], "trailGeneralised": []},
"nameGenState": [], "nbExtraGivens": 0, "representations": [], "representationsTree": [], "originalDomains": [],
"trailGeneralised": [], "trailVerbose": [], "trailRewrites": []},
"mLanguage": {"language": {"Name": "ESSENCE'"}, "version": [1, 0]},
"mStatements":
[{"Declaration":
Expand Down
Loading

0 comments on commit 9900f88

Please sign in to comment.