Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

added loading of trajectory from reference to simple verifier

  • Loading branch information...
commit 69556bf86f843318f741cabf85f5805d484180d8 1 parent 8243bd3
@papousek papousek authored
View
4 ...tion-verification-impl/src/main/java/org/sybila/parasim/computation/verification/cpu/SimpleVerifier.java
@@ -45,7 +45,7 @@ public SimpleVerifier(MonitorFactory<P> monitorFactory) {
final Robustness[] robustnesses = new Robustness[trajectories.size()];
int counter = 0;
for (Trajectory trajectory: trajectories) {
- robustnesses[counter] = monitorFactory.createMonitor(trajectory, property).getRobustness(0);
+ robustnesses[counter] = monitorFactory.createMonitor(trajectory.getReference().getTrajectory(), property).getRobustness(0);
counter++;
}
return new VerifiedDataBlock<Trajectory>() {
@@ -59,7 +59,7 @@ public Robustness getRobustness(int index) {
}
public Trajectory getTrajectory(int index) {
- return trajectories.getTrajectory(index);
+ return trajectories.getTrajectory(index).getReference().getTrajectory();
}
public int size() {
Please sign in to comment.
Something went wrong with that request. Please try again.