Moves the templates to accommodate the tests.

12 files changed, 0 insertions, 40 deletions

diff --git a/data/property/cnes/CNE_00100.pp b/data/property/cnes/CNE_00100.pp
deleted file mode 100644
index 41164c6..0000000
--- a/data/property/cnes/CNE_00100.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The signal $wfm.IDENTIFIER$ (declared in $wfm.FILE$, line $wfm.LINE$, column
-$wfm.COLUMN$) is only tested for equality against '0'. CNE_00100 indicates such
-signals should have names ending in "_n".
diff --git a/data/property/cnes/CNE_01100.pp b/data/property/cnes/CNE_01100.pp
deleted file mode 100644
index 4039897..0000000
--- a/data/property/cnes/CNE_01100.pp
+++ /dev/null
@@ -1,4 +0,0 @@
-The name of the port $pt.IDENTIFIER$ (declared in $pt.FILE$, line $pt.LINE$,
-column $pt.COLUMN$) does not match its direction. According to CNE_01100, input
-ports should be prefixed by "i_", output ports by "o_", and bidirectional ports
-by "b_".
diff --git a/data/property/cnes/CNE_01200.pp b/data/property/cnes/CNE_01200.pp
deleted file mode 100644
index 68479eb..0000000
--- a/data/property/cnes/CNE_01200.pp
+++ /dev/null
@@ -1,2 +0,0 @@
-The label for the process $ps.LABEL$ (declared in $ps.FILE$, line $ps.LINE$,
-column $ps.COLUMN$) is not prefixed by "P_", despite CNE_01200 requiring it to.
diff --git a/data/property/cnes/CNE_01400.pp b/data/property/cnes/CNE_01400.pp
deleted file mode 100644
index 6050265..0000000
--- a/data/property/cnes/CNE_01400.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The name of the generic port $gc.IDENTIFIER$ (declared in $gc.FILE$,
-line $gc.LINE$, column $gc.COLUMN$) is not prefixed by "g_", despite CNE_01400
-requiring it to be.
diff --git a/data/property/cnes/CNE_01700.pp b/data/property/cnes/CNE_01700.pp
deleted file mode 100644
index 8a32e7d..0000000
--- a/data/property/cnes/CNE_01700.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The signal $x_re.IDENTIFIER$ (declared in $x_re.FILE$, line $x_re.LINE$, column
-$x_re.COLUMN$) is made to indicate the rising edge of another signal. CNE_01700
-indicates such signals should have names ending in "_re".
diff --git a/data/property/cnes/CNE_01800.pp b/data/property/cnes/CNE_01800.pp
deleted file mode 100644
index 5dea929..0000000
--- a/data/property/cnes/CNE_01800.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The signal $x_fe.IDENTIFIER (declared in $x_fe.FILE$, line $x_fe.LINE$, column
-$x_fe.COLUMN$) is made to indicate the falling edge of another signal. CNE_01800
-indicates such signals should have names ending in "_fe".
diff --git a/data/property/cnes/CNE_01900.pp b/data/property/cnes/CNE_01900.pp
deleted file mode 100644
index 0402d55..0000000
--- a/data/property/cnes/CNE_01900.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The signal $x_r.IDENTIFIER$ (declared in $x_r.FILE$, line $x_r.LINE$, column
-$x_r.COLUMN$) is the result of another signal delayed using a flip-flop.
-CNE_01900 indicates such signals should have names ending in "_r[0-9]*".
diff --git a/data/property/cnes/CNE_02100.pp b/data/property/cnes/CNE_02100.pp
deleted file mode 100644
index ff0b8e7..0000000
--- a/data/property/cnes/CNE_02100.pp
+++ /dev/null
@@ -1,4 +0,0 @@
-The name of the architecture $arch.IDENTIFIER$ (declared in $arch.FILE$,
-line $arch.LINE$, column $arch.COLUMN$) does not match any of the names of a RTL
-architecture, as defined by CNE_02100. The allowed names are "Behavioral",
-"RTL", and "Simulation".
diff --git a/data/property/cnes/CNE_02600.pp b/data/property/cnes/CNE_02600.pp
deleted file mode 100644
index ea2d44f..0000000
--- a/data/property/cnes/CNE_02600.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The name of the signal $sl.IDENTIFIER$ (declared in $sl.FILE$,
-line $sl.LINE$, column $sl.COLUMN$) has more than 20 characters, this is not
-allowed by CNE_02600.
diff --git a/data/property/cnes/CNE_04500.pp b/data/property/cnes/CNE_04500.pp
deleted file mode 100644
index 0a2ec8e..0000000
--- a/data/property/cnes/CNE_04500.pp
+++ /dev/null
@@ -1,6 +0,0 @@
-The process $ps.LABEL$ (declared in $ps.FILE$, line $ps.LINE$, column
-$ps.COLUMN$) assigns values to a both reset-initialized waveform,
-$i_wfm.IDENTIFIER$ (declared in $i_wfm.FILE$, line $i_wfm.LINE$, column
-$i_wfm.COLUMN$), and waveform not reset-initialized  $ni_wfm.IDENTIFIER$
-(declared in $ni_wfm.FILE$, line $ni_wfm.LINE$, column $ni_wfm.COLUMN$), and
-waveform not reset-initialized. This goes against CNE_04500.
diff --git a/data/property/cnes/CNE_05100.pp b/data/property/cnes/CNE_05100.pp
deleted file mode 100644
index 242dd8d..0000000
--- a/data/property/cnes/CNE_05100.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The signal $wfm.IDENTIFIER$ (declared in $wfm.FILE$, line $wfm.LINE$, column
-$wfm.COLUMN$) is the output of a single process multiplexor, as defined by
-CNE_05100.
diff --git a/data/property/cnes/STD_04800.pp b/data/property/cnes/STD_04800.pp
deleted file mode 100644
index eb2653c..0000000
--- a/data/property/cnes/STD_04800.pp
+++ /dev/null
@@ -1,3 +0,0 @@
-The signal $wfm.IDENTIFIER$ (declared in $wfm.FILE$, line $wfm.LINE$, column
-$wfm.COLUMN$) is tested with both the rising_edge and the falling_edge
-functions. This goes against STD_04800.