Changes between Version 18 and Version 19 of GMC

Timestamp:

10/31/16 11:26:42 (10 years ago)

Author:

yihaoyan

Comment:

--

GMC

@@ -50 +50 @@
 scopeValues[[BR]]
 
-'''edu.udel.cis.vsl.civl.model.common.ModelBuilderWorker.java'''[[BR]][[BR]]
+'''edu.udel.cis.vsl.civl.model.common.ModelBuilderWorker.java'''[[BR]]
+anonymousStructCounter[[BR]]
+timeLibIncluded?[[BR]]
+hasNextTimeCountCall?[[BR]]
+parProcFunctions[[BR]]
+runProcFunctions[[BR]]
+bundleableEncountered[[BR]]
+bundleableTypeList[[BR]]
+
 '''edu.udel.cis.vsl.civl.semantics.common.UFExtender.java'''[[BR]]
 ''Possible Solution'':Initialize the field uninterpretedFunctions exactly once in constructor with all known abstract functions and never change again.[[BR]]