From c2fe9cc0936da09313299d6546c1730df5ae03ab Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Fri, 24 Jan 2025 15:20:14 +0000
Subject: [PATCH] Add rule in makefile to perform the formal property checks.

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 635c7bc..25f1985 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,9 @@ verilog-wrappers: CHERICapWrap.bsv CHERICap.bsv CHERICC_Fat.bsv
 verilog-props: CHERICapProps.bsv CHERICap.bsv CHERICC_Fat.bsv
 	bsc $(BSCFLAGS) -verilog -u $<
 
+check-prop: assertions.sv verilog-wrappers verilog-props
+	sby -f check.sby
+
 blarney-wrappers: CHERICapWrap.py verilog-wrappers
 	./CHERICapWrap.py -o CHERIBlarneyWrappers *.v
 
@@ -30,4 +33,4 @@ clean-blarney-wrappers: clean
 	rm -f *.hs
 
 clean:
-	rm -f *.bo
+	rm -f *.bo
\ No newline at end of file