📖 Add Note About Very Time-Consuming Operation

Signed-off-by: Pascal Marco Caversaccio <[email protected]>
pcaversaccio · Sep 19, 2024 · 7ed440d · 7ed440d
1 parent c41d54c
commit 7ed440d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -215,7 +215,7 @@ Eventually, the [`halmos`](https://github.com/a16z/halmos)-based symbolic tests
 # Run Halmos ERC-721 symbolic tests. Be careful, this is a (very!) time-consuming operation.
 ~$ FOUNDRY_PROFILE=halmos halmos --contract ERC721TestHalmos --config test/halmos.toml
 
-# Run Halmos ERC-1155 symbolic tests. Be careful, this is a time-consuming operation.
+# Run Halmos ERC-1155 symbolic tests. Be careful, this is a (very!) time-consuming operation.
 ~$ FOUNDRY_PROFILE=halmos halmos --contract ERC1155TestHalmos --config test/halmos.toml
 
 # Run Halmos math symbolic tests.