diff --git a/tests/simple_abc9/abc9.v b/tests/simple_abc9/abc9.v
index fba089b1f..abe1f6bfd 100644
--- a/tests/simple_abc9/abc9.v
+++ b/tests/simple_abc9/abc9.v
@@ -47,6 +47,7 @@ module abc9_test008_sub(input a, output b);
 assign b = ~a;
 endmodule
 
+scratchpad -set check.permissive true
 module abc9_test009(inout io, input oe);
 reg latch;
 always @(io or oe)
@@ -80,7 +81,7 @@ assign io = oe ? ~latch : 8'bz;
 endmodule
 
 module abc9_test013(inout [3:0] io, input oe);
-reg [3:0] latch;
+reg [7:0] latch;
 always @(io or oe)
     if (!oe)
         latch[3:0] <= io[3:0];
@@ -104,6 +105,7 @@ always @(io or oe)
 assign io[3:0] = oe ? ~latch[3:0] : 4'bz;
 assign io[7:4] = !oe ? {latch[4], latch[7:3]} : 4'bz;
 endmodule
+scratchpad -set check.permissive false
 
 module abc9_test015(input a, output b, input c);
 assign b = ~a;