Add make check command to README

stanford-centaur · Jan 24, 2025 · 68fdafd · 68fdafd
1 parent 1619d4a
commit 68fdafd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -32,6 +32,7 @@ Pono was awarded the Oski Award under its original name _cosa2_ at [HWMCC'19](ht
   * if building with mathsat, also include `--with-msat` as an option to `configure.sh`
 * Run `cd build`.
 * Run `make`.
+* [optional] Run `make check` to build and run the tests.
 
 ### Dependencies