Fix tests

MikePopoloski · Nov 5, 2024 · dd9df36 · dd9df36
1 parent b9fdd11
commit dd9df36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/netlist/tests/NameTests.cpp b/tools/netlist/tests/NameTests.cpp
@@ -78,7 +78,7 @@ module t33 #(
 
   property test_prop;
     @(posedge clk) disable iff (MODE != 3'd0)
-    !($isunknown({a,b,c})) &
+    (!$isunknown({a,b,c})) &
       a & (b == 2'b01)
       |-> (c_n[15:12] == c[15:12]);
   endproperty