From 6b3b3ee903a89084125e519705ea621ae79883f6 Mon Sep 17 00:00:00 2001
From: damc <dave.mcewan@nordicsemi.no>
Date: Tue, 8 Nov 2022 20:25:30 +0100
Subject: [PATCH] predefineSvCov Add simple testcase.

---
 sv-parser-pp/src/preprocess.rs                | 10 +++++++
 sv-parser-pp/testcases/coverage_constants.sv  | 26 +++++++++++++++++++
 .../testcases/expected/coverage_constants.sv  | 26 +++++++++++++++++++
 3 files changed, 62 insertions(+)
 create mode 100644 sv-parser-pp/testcases/coverage_constants.sv
 create mode 100644 sv-parser-pp/testcases/expected/coverage_constants.sv

diff --git a/sv-parser-pp/src/preprocess.rs b/sv-parser-pp/src/preprocess.rs
index 0093903..3c5ffb5 100644
--- a/sv-parser-pp/src/preprocess.rs
+++ b/sv-parser-pp/src/preprocess.rs
@@ -1135,6 +1135,16 @@ mod tests {
         );
     } // }}}
 
+    #[test]
+    #[ignore = "Coverage constants not implemented, yet."]
+    fn coverage_constants() { // {{{
+        let (ret, _) = preprocess_usualargs("coverage_constants.sv").unwrap();
+        assert_eq!(
+            ret.text(),
+            testfile_contents("expected/coverage_constants.sv")
+        );
+    } // }}}
+
     #[test]
     fn default_nettype() { // {{{
         let (ret, _) = preprocess_usualargs("default_nettype.sv").unwrap();
diff --git a/sv-parser-pp/testcases/coverage_constants.sv b/sv-parser-pp/testcases/coverage_constants.sv
new file mode 100644
index 0000000..b44459a
--- /dev/null
+++ b/sv-parser-pp/testcases/coverage_constants.sv
@@ -0,0 +1,26 @@
+// IEEE1800-2017 Clause 40.3.1
+// The following predefined `define macros represent basic real-time coverage
+// capabilities accessible directly from SystemVerilog:
+
+// Coverage control
+localparam int SV_COV_START = `SV_COV_START; // 0
+localparam int SV_COV_STOP  = `SV_COV_STOP; // 1
+localparam int SV_COV_RESET = `SV_COV_RESET; // 2
+localparam int SV_COV_CHECK = `SV_COV_CHECK; // 3
+
+// Scope definition (hierarchy traversal/accumulation type)
+localparam int SV_COV_MODULE = `SV_COV_MODULE; // 10
+localparam int SV_COV_HIER   = `SV_COV_HIER; // 11
+
+// Coverage type identification
+localparam int SV_COV_ASSERTION = `SV_COV_ASSERTION; // 20
+localparam int SV_COV_FSM_STATE = `SV_COV_FSM_STATE; // 21
+localparam int SV_COV_STATEMENT = `SV_COV_STATEMENT; // 22
+localparam int SV_COV_TOGGLE    = `SV_COV_TOGGLE; // 23
+
+// Status results
+localparam int SV_COV_OVERFLOW = `SV_COV_OVERFLOW; // -2
+localparam int SV_COV_ERROR    = `SV_COV_ERROR; // -1
+localparam int SV_COV_NOCOV    = `SV_COV_NOCOV; // 0
+localparam int SV_COV_OK       = `SV_COV_OK; // 1
+localparam int SV_COV_PARTIAL  = `SV_COV_PARTIAL; // 2
diff --git a/sv-parser-pp/testcases/expected/coverage_constants.sv b/sv-parser-pp/testcases/expected/coverage_constants.sv
new file mode 100644
index 0000000..8e95f8b
--- /dev/null
+++ b/sv-parser-pp/testcases/expected/coverage_constants.sv
@@ -0,0 +1,26 @@
+// IEEE1800-2017 Clause 40.3.1
+// The following predefined `define macros represent basic real-time coverage
+// capabilities accessible directly from SystemVerilog:
+
+// Coverage control
+localparam int SV_COV_START = 0; // 0
+localparam int SV_COV_STOP  = 1; // 1
+localparam int SV_COV_RESET = 2; // 2
+localparam int SV_COV_CHECK = 3; // 3
+
+// Scope definition (hierarchy traversal/accumulation type)
+localparam int SV_COV_MODULE = 10; // 10
+localparam int SV_COV_HIER   = 11; // 11
+
+// Coverage type identification
+localparam int SV_COV_ASSERTION = 20; // 20
+localparam int SV_COV_FSM_STATE = 21; // 21
+localparam int SV_COV_STATEMENT = 22; // 22
+localparam int SV_COV_TOGGLE    = 23; // 23
+
+// Status results
+localparam int SV_COV_OVERFLOW = -2; // -2
+localparam int SV_COV_ERROR    = -1; // -1
+localparam int SV_COV_NOCOV    = 0; // 0
+localparam int SV_COV_OK       = 1; // 1
+localparam int SV_COV_PARTIAL  = 2; // 2