Skip to content

Commit

Permalink
Update expected help text
Browse files Browse the repository at this point in the history
  • Loading branch information
ozgurakgun committed Sep 11, 2018
1 parent e33dc63 commit dbe999a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tests/custom/help-text/conjure-help.txt
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@
--representations-quantifieds=STRATEGY Strategy for choosing a representation for a quantified variable.
Default value: same as --representations
--representations-cuts=STRATEGY Strategy for choosing a representation for cuts in 'branching on'.
Default value: same as --representations-cuts
Default value: same as --representations
--channelling Whether to produce channelled models (true by default).
--representation-levels Whether to use built-in precedence levels when choosing representations.
Used to cut down the number of generated models.
Expand Down Expand Up @@ -197,7 +197,7 @@
--representations-quantifieds=STRATEGY Strategy for choosing a representation for a quantified variable.
Default value: same as --representations
--representations-cuts=STRATEGY Strategy for choosing a representation for cuts in 'branching on'.
Default value: same as --representations-cuts
Default value: same as --representations
--channelling Whether to produce channelled models (true by default).
--representation-levels Whether to use built-in precedence levels when choosing representations.
Used to cut down the number of generated models.
Expand Down

0 comments on commit dbe999a

Please sign in to comment.