Remove the use of --out-dir from the examples

potassco · Aug 22, 2024 · dd1a557 · dd1a557
1 parent 2586aa3
commit dd1a557
Show file tree

Hide file tree

Showing 11 changed files with 13 additions and 26 deletions.
diff --git a/res/examples/external_equivalence/coloring/README.md b/res/examples/external_equivalence/coloring/README.md
@@ -2,6 +2,5 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence external --out-dir out coloring.spec coloring.lp coloring.ug
+anthem verify --equivalence external coloring.spec coloring.lp coloring.ug
 ```
diff --git a/res/examples/external_equivalence/cover/README.md b/res/examples/external_equivalence/cover/README.md
@@ -4,15 +4,13 @@
 To run the original program-to-specification verification task, use
 
 ```
-mkdir -p out/p2s
-anthem verify --equivalence=external --out-dir out/p2s cover.spec cover.lp cover.ug
+anthem verify --equivalence external cover.spec cover.lp cover.ug
 ```
 
 To run the program-to-program verification task against a new program with a symmetry breaking constraint, use
 
 ```
-mkdir -p out/p2p
-anthem verify --equivalence=external --out-dir out/p2p cover.lp cover_sym_break.lp cover.ug
+anthem verify --equivalence external cover.lp cover_sym_break.lp cover.ug
 ```
 
 ## Origin

diff --git a/res/examples/external_equivalence/primes/complex/README.md b/res/examples/external_equivalence/primes/complex/README.md
@@ -2,11 +2,8 @@
 
 ## Usage
 ```
-mkdir -p out/safe
-anthem verify --equivalence=external --out-dir out/safe primes.1.lp primes.2.lp primes.ug
-
-mkdir -p out/optimized
-anthem verify --equivalence=external --out-dir out/optimized primes.2.lp primes.3.lp primes.ug
+anthem verify --equivalence=external primes.1.lp primes.2.lp primes.ug
+anthem verify --equivalence=external primes.2.lp primes.3.lp primes.ug
 ```
 
 ## Origin

diff --git a/res/examples/external_equivalence/primes/simple/README.md b/res/examples/external_equivalence/primes/simple/README.md
@@ -2,6 +2,5 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence=external --out-dir out primes.1.lp primes.2.lp primes.ug primes.po
+anthem verify --equivalence external primes.1.lp primes.2.lp primes.ug primes.po
 ```
diff --git a/res/examples/external_equivalence/trivial/first_order/README.md b/res/examples/external_equivalence/trivial/first_order/README.md
@@ -2,8 +2,7 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence=external --out-dir out first_order.spec first_order.lp first_order.ug
+anthem verify --equivalence external first_order.spec first_order.lp first_order.ug
 ```
 
 ## Origin

diff --git a/res/examples/external_equivalence/trivial/propositional/README.md b/res/examples/external_equivalence/trivial/propositional/README.md
@@ -2,8 +2,7 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence=external --out-dir out propositional.spec propositional.lp propositional.ug
+anthem verify --equivalence external propositional.spec propositional.lp propositional.ug
 ```
 
 ## Origin

diff --git a/res/examples/strong_equivalence/bounds/README.md b/res/examples/strong_equivalence/bounds/README.md
@@ -2,8 +2,7 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence=strong --out-dir out bounds.1.lp bounds.2.lp
+anthem verify --equivalence strong bounds.1.lp bounds.2.lp
 ```
 
 ## Origin

diff --git a/res/examples/strong_equivalence/choice/README.md b/res/examples/strong_equivalence/choice/README.md
@@ -3,7 +3,7 @@
 ## Usage
 ```
 mkdir out
-anthem verify --equivalence=strong --out-dir out choice.1.lp choice.2.lp
+anthem verify --equivalence strong choice.1.lp choice.2.lp
 ```
 
 ## Origin

diff --git a/res/examples/strong_equivalence/successor/README.md b/res/examples/strong_equivalence/successor/README.md
@@ -2,8 +2,7 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence=strong --out-dir out successor.1.lp successor.2.lp
+anthem verify --equivalence strong successor.1.lp successor.2.lp
 ```
 
 ## Origin

diff --git a/res/examples/strong_equivalence/transitive/README.md b/res/examples/strong_equivalence/transitive/README.md
@@ -2,8 +2,7 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence=strong --out-dir out transitive.1.lp transitive.2.lp
+anthem verify --equivalence strong transitive.1.lp transitive.2.lp
 ```
 
 ## Origin

diff --git a/res/examples/strong_equivalence/trivial/README.md b/res/examples/strong_equivalence/trivial/README.md
@@ -2,8 +2,7 @@
 
 ## Usage
 ```
-mkdir out
-anthem verify --equivalence=strong --out-dir out trivial.1.lp trivial.2.lp
+anthem verify --equivalence=strong trivial.1.lp trivial.2.lp
 ```
 
 ## Origin