Merge branch 'main' of github.com:wintered/ET

wintered · Oct 18, 2024 · 8d21f2d · 8d21f2d
2 parents af8022d + 1f65254
commit 8d21f2d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -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.