From a800a5b5cbff13860b0b2f130a5b80bffdf1be2f Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Wed, 24 Jun 2026 12:13:55 +0200
Subject: [PATCH] Fix.

---
 tests/various/check_nolatches.ys | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/tests/various/check_nolatches.ys b/tests/various/check_nolatches.ys
index 9c45c6bb9..6dabf4b37 100644
--- a/tests/various/check_nolatches.ys
+++ b/tests/various/check_nolatches.ys
@@ -1,5 +1,5 @@
 design -reset
-read -vlog2k <<EOT
+read_verilog <<EOT
 module top(input g, rn, d, output reg q);
 always @* if (~rn) q <= 0; else if (g) q <= d;
 endmodule
@@ -12,7 +12,7 @@ check -nolatches
 logger -check-expected
 
 design -reset
-read -vlog2k <<EOT
+read_verilog <<EOT
 module top(input g, d, output reg q);
 always @* q = g ? d : 1'b0;
 endmodule
@@ -22,8 +22,7 @@ proc
 check -nolatches -assert
 
 design -reset
-
-read -vlog2k <<EOT
+read_verilog <<EOT
 module top(input g, d, output reg q, output y);
 always @* if (g) q = d;
 wire u;
@@ -32,5 +31,5 @@ endmodule
 EOT
 hierarchy -top top
 proc
-logger -expect error "Found 1 problems in" 1
+logger -expect error "Found [0-9]+ problems in 'check -assert'" 1
 check -latchonly -assert