| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/cnes/CNE_02100.pro')
| -rw-r--r-- | data/property/cnes/CNE_02100.pro | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/data/property/cnes/CNE_02100.pro b/data/property/cnes/CNE_02100.pro deleted file mode 100644 index 8b66f0b..0000000 --- a/data/property/cnes/CNE_02100.pro +++ /dev/null @@ -1,12 +0,0 @@ -(tag_existing - ( - (arch architecture CNE_02100_BAD_NAME) - ) - (not - (or - (identifier arch "Behavioral") - (identifier arch "RTL") - (identifier arch "Simulation") - ) - ) -) |