From d18ca72caf2004c7725b3de670c7397c5bf85eb4 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Fri, 4 Aug 2017 12:47:30 +0200 Subject: For some reason, CNE_01700 no longer works. --- data/property/incrementer.pro | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'data/property/incrementer.pro') diff --git a/data/property/incrementer.pro b/data/property/incrementer.pro index ba8fc7a..4bc06ae 100644 --- a/data/property/incrementer.pro +++ b/data/property/incrementer.pro @@ -1,15 +1,14 @@ (tag_existing ( (wf waveform INCREMENTED_WAVEFORM) + (ps process INCREMENTER_PROCESS) ) - (exists ps process - (CTL_verifies ps - (EF - (and - (is_read_structure "(??L)") - (is_read_element "0" "+") - (is_read_element "1" wf) - ) + (CTL_verifies ps + (EF + (and + (is_read_structure "(??L)") + (is_read_element "0" "+") + (is_read_element "1" wf) ) ) ) -- cgit v1.2.3-70-g09d2