additional default_nettype test coverage

test/basic/default_nettype.sv

@@ -0,0 +1,22 @@
+`resetall
+
+`define TEST(t) \
+    `default_nettype t \
+    module test_``t; \
+        assign foo = 0; \
+    endmodule
+
+module top;
+    assign foo = 0;
+endmodule
+
+`TEST(tri)
+`TEST(triand)
+`TEST(trior)
+// `TEST(trireg)
+`TEST(tri0)
+`TEST(tri1)
+// `TEST(uwire)
+`TEST(wire)
+`TEST(wand)
+`TEST(wor)

test/basic/default_nettype.v

@@ -0,0 +1,24 @@
+`resetall
+
+`define TEST(t) \
+    `default_nettype t \
+    module test_``t; \
+        t foo; \
+        assign foo = 0; \
+    endmodule
+
+module top;
+    wire foo;
+    assign foo = 0;
+endmodule
+
+`TEST(tri)
+`TEST(triand)
+`TEST(trior)
+// `TEST(trireg)
+`TEST(tri0)
+`TEST(tri1)
+// `TEST(uwire)
+`TEST(wire)
+`TEST(wand)
+`TEST(wor)

test/error/default_nettype_invalid.sv

@@ -0,0 +1,4 @@
+`default_nettype invalid
+module top;
+    assign foo = 0;
+endmodule

test/error/default_nettype_none.sv

@@ -0,0 +1,4 @@
+`default_nettype none
+module top;
+    assign foo = 0;
+endmodule