From bf6ba338df167e896c38f37b3481e2b1198745b0 Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Fri, 4 Dec 2020 11:38:17 -0700
Subject: [PATCH] additional default_nettype test coverage

---
 test/basic/default_nettype.sv         | 22 ++++++++++++++++++++++
 test/basic/default_nettype.v          | 24 ++++++++++++++++++++++++
 test/error/default_nettype_invalid.sv |  4 ++++
 test/error/default_nettype_none.sv    |  4 ++++
 4 files changed, 54 insertions(+)
 create mode 100644 test/basic/default_nettype.sv
 create mode 100644 test/basic/default_nettype.v
 create mode 100644 test/error/default_nettype_invalid.sv
 create mode 100644 test/error/default_nettype_none.sv

diff --git a/test/basic/default_nettype.sv b/test/basic/default_nettype.sv
new file mode 100644
index 0000000..87f3f5d
--- /dev/null
+++ b/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)
diff --git a/test/basic/default_nettype.v b/test/basic/default_nettype.v
new file mode 100644
index 0000000..29ba270
--- /dev/null
+++ b/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)
diff --git a/test/error/default_nettype_invalid.sv b/test/error/default_nettype_invalid.sv
new file mode 100644
index 0000000..196fd46
--- /dev/null
+++ b/test/error/default_nettype_invalid.sv
@@ -0,0 +1,4 @@
+`default_nettype invalid
+module top;
+    assign foo = 0;
+endmodule
diff --git a/test/error/default_nettype_none.sv b/test/error/default_nettype_none.sv
new file mode 100644
index 0000000..e5e5cae
--- /dev/null
+++ b/test/error/default_nettype_none.sv
@@ -0,0 +1,4 @@
+`default_nettype none
+module top;
+    assign foo = 0;
+endmodule