disabling thread choices at some field accesses

d3scomp · Jul 1, 2013 · cbe938f · cbe938f
1 parent d1a96d7
commit cbe938f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf b/jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
@@ -17,7 +17,7 @@ vm.max_transition_length = MAX
 # the only threads are created by jDeeco framework which guarantees that after all the threads are started there is a thread choice
 cg.threads.break_start=false
 
-vm.por.field_boundaries.never = java.*,javax.*,sun.*,cz.cuni.mff.d3s.deeco.knowledge.RepositoryKnowledgeManager.rkmh
+vm.por.field_boundaries.never = java.*,javax.*,sun.*,cz.cuni.mff.d3s.deeco.knowledge.RepositoryKnowledgeManager.kr,cz.cuni.mff.d3s.deeco.invokable.SchedulableProcess.runtime,cz.cuni.mff.d3s.deeco.knowledge.KnowledgeManager.runtime,cz.cuni.mff.d3s.deeco.scheduling.MultithreadedSchedulerJPF.*,cz.cuni.mff.d3s.deeco.knowledge.local.LocalKnowledgeRepositoryJPF.*
 
 vm.scheduler_factory.class=cz.cuni.mff.d3s.deeco.jpf.JDEECoSchedulerFactory