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/combinational_processes.pp | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 data/property/combinational_processes.pp (limited to 'data/property/combinational_processes.pp') diff --git a/data/property/combinational_processes.pp b/data/property/combinational_processes.pp new file mode 100644 index 0000000..7d73bf9 --- /dev/null +++ b/data/property/combinational_processes.pp @@ -0,0 +1,2 @@ +The processus $ps.LABEL$ (from file $ps.FILE$, line $ps.LINE$, column +$ps.COLUMN$) is combinational. -- cgit v1.2.3-70-g09d2