Update README.md

muellerberndt · Jun 15, 2020 · a842ee0 · a842ee0
1 parent 921a547
commit a842ee0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -30,6 +30,12 @@ Run `sabre analyze <solidity-file> [contract-name]` to submit a smart contract f
 
 ### Custom property checking
 
+To check specifically for assertion violations and print counter-examples for any violations found, run the following:
+
+```
+$ sabre check <solidity-file> [contract-name]
+```
+
 #### Example 1: Primality test
 
 You're pretty sure that 973013 is a prime number. It ends with a "3" so why wouldn't it be??