Add BlackBox support and test, refactor execute => assertTesterPasses

1 files changed, 17 insertions, 0 deletions

diff --git a/src/test/resources/BlackBoxTest.v b/src/test/resources/BlackBoxTest.v
new file mode 100644
index 00000000..e57d2852
--- /dev/null
+++ b/src/test/resources/BlackBoxTest.v
@@ -0,0 +1,17 @@
+module BlackBoxInverter(
+    input  [0:0] clk,
+    input  [0:0] reset,
+    output [0:0] io_in,
+    output [0:0] io_out
+);
+  assign io_out = !io_in;
+endmodule
+
+module BlackBoxPassthrough(
+    input  [0:0] clk,
+    input  [0:0] reset,
+    output [0:0] io_in,
+    output [0:0] io_out
+);
+  assign io_out = io_in;
+endmodule