Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 2 commits into from
Aug 22, 2024
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
176c4ac
Remove the use of --out-dir from the examples
teiesti Aug 21, 2024
f9689e9
Merge branch 'master' into tobias/streamline_examples
teiesti Aug 22, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions res/examples/external_equivalence/coloring/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
```
6 changes: 2 additions & 4 deletions res/examples/external_equivalence/cover/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
7 changes: 2 additions & 5 deletions res/examples/external_equivalence/primes/complex/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 1 addition & 2 deletions res/examples/external_equivalence/primes/simple/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
```
3 changes: 1 addition & 2 deletions res/examples/external_equivalence/trivial/first_order/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 1 addition & 2 deletions res/examples/external_equivalence/trivial/propositional/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 1 addition & 2 deletions res/examples/strong_equivalence/bounds/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion res/examples/strong_equivalence/choice/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 1 addition & 2 deletions res/examples/strong_equivalence/successor/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 1 addition & 2 deletions res/examples/strong_equivalence/transitive/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 1 addition & 2 deletions res/examples/strong_equivalence/trivial/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Loading