From 3914c21286f188526087acc827e5a5895541f329 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Mon, 2 Dec 2024 20:07:07 -0500
Subject: [PATCH] verific->import fix for new test case

---
 tests/verific/blackbox.ys | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/verific/blackbox.ys b/tests/verific/blackbox.ys
index fbf689e3d..0f9a47d1a 100644
--- a/tests/verific/blackbox.ys
+++ b/tests/verific/blackbox.ys
@@ -1,4 +1,4 @@
-verific -sv -lib <<EOF
+import -sv -lib <<EOF
 module TEST_CELL(input clk, input a, input b, output reg c);
 parameter PATH = "DEFAULT";
 always @(posedge clk) begin
@@ -11,14 +11,14 @@ end
 endmodule
 EOF
 
-verific -sv <<EOF
+import -sv <<EOF
 module top(input clk, input a, input b, output c, output d);
 	TEST_CELL  #(.PATH("TEST")) test1(.clk(clk),.a(a),.b(1'b1),.c(c));
 	TEST_CELL  #(.PATH("DEFAULT")) test2(.clk(clk),.a(a),.b(1'bx),.c(d));
 endmodule
 EOF
 
-verific -import top
+import -import top
 hierarchy -top top
 stat
 select -assert-count 2 t:TEST_CELL