[DEECo] [d3scomp/JDEECo] bfc471: Bugfixes in Convoy demo for testing LTL+JPF, refac...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: bfc47194240d1039a8a170ae6bb6c5e1b83cba2a
      https://github.com/d3scomp/JDEECo/commit/bfc47194240d1039a8a170ae6bb6c5e1b83cba2a
  Author: keznikl <jaroslav.keznikl at gmail.com>
  Date:   2013-06-28 (Fri, 28 Jun 2013)

  Changed paths:
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/Follower.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LeaderA.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LeaderB.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LocalLauncherLTL.java

  Log Message:
  -----------
  Bugfixes in Convoy demo for testing LTL+JPF, refactoring


  Commit: 6cfcb7346920c28e67c80f2dd3fbe36f6905ed9f
      https://github.com/d3scomp/JDEECo/commit/6cfcb7346920c28e67c80f2dd3fbe36f6905ed9f
  Author: keznikl <jaroslav.keznikl at gmail.com>
  Date:   2013-06-28 (Fri, 28 Jun 2013)

  Changed paths:
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/scheduling/MultithreadedSchedulerJPF.java

  Log Message:
  -----------
  Logging exceptions of Atomic proposition evaluation.
JPF scheduler takes max number of process iterations in its constructor.


Compare: https://github.com/d3scomp/JDEECo/compare/1b08c4923cae...6cfcb7346920