Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@wintered
wintered authored Oct 18, 2024
1 parent bca0e92 commit 1f65254
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -47,11 +47,11 @@ This generates the executable bin/feat-Bitvectors.
### Run tester

```
bin/run_tester 10 1000 Bitvectors solvers.cfg
bin/run_tester 2 1000 Bitvectors solvers.cfg
```

This will first generate 1,000 tests in `tests/Bitvectors` (i.e., call bin/feat-Bitvectors).
Then these tests will be forwarded (using 10 cores) to `bin/oracle` which calls
Then these tests will be forwarded (using 2 cores) to `bin/oracle` which calls
the SMT solvers from `solvers.cfg` and differentially tests them.


Expand Down

0 comments on commit 1f65254

Please sign in to comment.