Update README.md

chyanju · Sep 3, 2022 · bd348e6 · bd348e6
1 parent ecba092
commit bd348e6
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -33,9 +33,16 @@ docker run -it --rm picus:v0 bash
 - cvc5-ff: [https://github.com/alex-ozdemir/CVC4/tree/ff](https://github.com/alex-ozdemir/CVC4/tree/ff)
   - see installation instructions [here](./NOTES.md#installing-cvc5-ff)
 
-
 ## Usage
 
+Note: To run the uniqueness checking on benchmarks included (circom files), you'll need to prepare them (compiling to r1cs files) first, by running:
+
+```bash
+./script/prepare-??.sh
+```
+
+where `??` corresponds to corresponding benchmark set label.
+
 ### Normal Version (w/ No Special Algorithm)
 
 ```bash