From a842ee0224fdb7c7dc466e6b5a2dcf7b09407a86 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <b-mueller@users.noreply.github.com>
Date: Mon, 15 Jun 2020 16:03:17 +0200
Subject: [PATCH] Update README.md

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 70d8ea9..31348f5 100644
--- 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??