From 6a8ea559697002cee3737949af63916b0d8262ae Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Tue, 3 Mar 2020 23:28:12 -0800
Subject: Incorporate new AddNot formal regression test

* Feedback from @jackkoening
* Merge into same stage as Ops to avoid Travis delays
---
 regress/AddNot.fir | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 regress/AddNot.fir

(limited to 'regress')

diff --git a/regress/AddNot.fir b/regress/AddNot.fir
new file mode 100644
index 00000000..38c72a16
--- /dev/null
+++ b/regress/AddNot.fir
@@ -0,0 +1,6 @@
+circuit AddNot:
+  module AddNot:
+    input a: UInt<8>
+    input b: UInt<8>
+    output o: UInt<9>
+    o <= add(a, not(b))
-- 
cgit v1.2.3