renaming

d3scomp · Jul 2, 2013 · a8a9dec · a8a9dec
1 parent 444896e
commit a8a9dec
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/jdeeco-demo/build.xml b/jdeeco-demo/build.xml
@@ -164,7 +164,7 @@
 			<arg value="+site=site.properties"/>
 			<arg value="+jpf-core.native_classpath+=;${dist}/jdeeco.jar;${dist}/jdeeco-jpf.jar"/>
 			<arg value="${demo}/../jpfProperties/LocalLauncherConvoyLTL.jpf"/>
-			<jvmarg value="-Xmx2g"/>
+			<jvmarg value="-Xmx8g"/>
 		</java>
 	</target>
 

diff --git a/jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf b/jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
@@ -7,7 +7,7 @@ vm.storage.class=gov.nasa.jpf.jvm.FullStateSet
 
 target=cz.cuni.mff.d3s.deeco.demo.convoytut.LocalLauncherLTL
 
-deeco.ltl=[](isFollowerNearLeader-><>isFollowerAtDestination)
+ltl.input=[](isFollowerNearLeader-><>isFollowerAtDestination)
 
 report.console.property_violation=error,trace
 

diff --git a/jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java b/jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java
@@ -26,7 +26,7 @@
 import cz.cuni.mff.d3s.deeco.logging.Log;
 import cz.cuni.mff.d3s.deeco.ltl.AtomicProposition;
 
-import cz.cuni.mff.d3s.deeco.ltl.CommlinkDEECoJPF;
+import cz.cuni.mff.d3s.ltl.CommlinkSuTJPF;
 
 
 
@@ -126,13 +126,13 @@ private void tryEvaluatePropositions() {
 
 			// send names of atomic propositions into JPF
 			// we consider only propositions that evaluate to "true" in the current state
-			CommlinkDEECoJPF.notifyEventProcessingStart();		
+			CommlinkSuTJPF.notifyEventProcessingStart();		
 			for (AtomicProposition ap : propositions) 
 			{
 				Boolean apVal = propositionValues.get(ap.getName());
-				if ((apVal != null) && apVal.booleanValue()) CommlinkDEECoJPF.addTrueAtomicProposition(ap.getName());
+				if ((apVal != null) && apVal.booleanValue()) CommlinkSuTJPF.addTrueAtomicProposition(ap.getName());
 			}
-			CommlinkDEECoJPF.notifyAtomicPropositionsComplete();		
+			CommlinkSuTJPF.notifyAtomicPropositionsComplete();		
 		}
 	}
 }