diff --git a/tests/verific/blackbox_empty.ys b/tests/verific/blackbox_empty.ys new file mode 100644 index 000000000..fb407fe06 --- /dev/null +++ b/tests/verific/blackbox_empty.ys @@ -0,0 +1,17 @@ +verific -sv <