From 3466690e0a13a145d8d1eef89eba3f962f9f6e2b Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Fri, 1 Sep 2017 15:58:25 +0200 Subject: Adds test cases for the issue. --- data/property/simple_flip_flop.pro | 1 + 1 file changed, 1 insertion(+) (limited to 'data/property/simple_flip_flop.pro') diff --git a/data/property/simple_flip_flop.pro b/data/property/simple_flip_flop.pro index e1621c1..b054c7f 100644 --- a/data/property/simple_flip_flop.pro +++ b/data/property/simple_flip_flop.pro @@ -5,6 +5,7 @@ (ps process STRUCT_SIMPLE_FLIP_FLOP_PROCESS) ) (and + (not (eq clk reg)) (is_explicit_process ps) (is_in_sensitivity_list clk ps) (CTL_verifies ps -- cgit v1.2.3-70-g09d2