Skip to content

Commit

Permalink
updating the test case
Browse files Browse the repository at this point in the history
  • Loading branch information
ozgurakgun committed Dec 4, 2023
1 parent 9f89e28 commit b609c45
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 3 deletions.
5 changes: 2 additions & 3 deletions tests/custom/json-integration/json-enum-in/run.sh
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@

rm -rf conjure-output

conjure solve m.essence data.json --output-format=json --line-width=40 --copy-solutions=no --savilerow-options -O0 --number-of-solutions=all --output-format=json
conjure solve m.essence data.json --output-format=json --line-width=40 --copy-solutions=no --savilerow-options -O0 --number-of-solutions=all --output-format=json --solutions-in-one-file

ls -ls conjure-output
cat conjure-output/*.solutions.json

rm -rf conjure-output
12 changes: 12 additions & 0 deletions tests/custom/json-integration/json-enum-in/stdout.expected
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
Generating models for m.essence
Generated models: model000001.eprime
Saved under: conjure-output
Savile Row: model000001.eprime data.json
Running solver: minion
[
{"x": "ghost"}
,
{"x": "dracula"}
,
{"x": "zombie"}
]

0 comments on commit b609c45

Please sign in to comment.