From 3291d86ec38031e191ec1e7e5e8ddfa74b77cb7c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 24 Nov 2022 18:49:44 +0000
Subject: Squashed 'picorv32/' content from commit f00a88c

git-subtree-dir: picorv32
git-subtree-split: f00a88c36eaab478b64ee27d8162e421049bcc66
---
 scripts/smtbmc/tracecmp2.smtc | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 scripts/smtbmc/tracecmp2.smtc

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

diff --git a/scripts/smtbmc/tracecmp2.smtc b/scripts/smtbmc/tracecmp2.smtc
new file mode 100644
index 0000000..3b7fd0a
--- /dev/null
+++ b/scripts/smtbmc/tracecmp2.smtc
@@ -0,0 +1,2 @@
+initial
+assume (= [cpu_0.cpuregs] [cpu_1.cpuregs])
-- 
cgit