Merge pull request #1469 from diffblue/process1

KNOWNBUG test for SMV's `process`

Author: tautschnig

regression/smv/process/process1.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+process1.smv
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+This does not parse.

regression/smv/process/process1.smv

@@ -0,0 +1,9 @@
+-- from the NuSMV 2.7 manual
+
+MODULE my_module
+  -- my module definition...
+
+MODULE main
+  VAR
+    p1 : process my_module;
+    p2 : process my_module;