SMV: test for complex identifiers

Author: kroening

regression/smv/identifiers/complex_identifier1.desc

@@ -0,0 +1,7 @@
+CORE
+complex_identifier1.smv
+
+^EXIT=10$
+^SIGNAL=0$
+--
+--

regression/smv/identifiers/complex_identifier1.smv

@@ -0,0 +1,12 @@
+MODULE main
+
+-- complex identifiers can use '[...]' and '.'
+VAR some_var : boolean;
+VAR some_var[3] : boolean;
+VAR some_var[3].whatnot : boolean;
+VAR some_var[3][2].whatnot : boolean;
+
+INIT some_var[3][2].whatnot
+
+-- spaces are ok
+INIT some_var [3] . whatnot