From 59c9a162631b78eff84e2002478413b98c2cffbb Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 24 Nov 2022 22:27:15 +0000
Subject: Move all files

---
 scripts/smtbmc/axicheck2.smtc | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 scripts/smtbmc/axicheck2.smtc

(limited to 'scripts/smtbmc/axicheck2.smtc')

diff --git a/scripts/smtbmc/axicheck2.smtc b/scripts/smtbmc/axicheck2.smtc
new file mode 100644
index 0000000..1f8c5ea
--- /dev/null
+++ b/scripts/smtbmc/axicheck2.smtc
@@ -0,0 +1,2 @@
+initial
+assume (= [uut_0] [uut_1])
-- 
cgit