search

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

Param Synth for bees 20 did not finish *CASE STUDY* #64

Open xhajnal opened 4 years ago

xhajnal commented 4 years ago

java.lang.NullPointerException at edu.jas.ufd.Quotient.(Quotient.java:105) at edu.jas.ufd.Quotient.sum(Quotient.java:350) at param.JasFunction.add(JasFunction.java:142) at param.CachedFunctionFactory.add(CachedFunctionFactory.java:207) at param.CachedFunction.add(CachedFunction.java:86) at param.MutablePMC.addTransition(MutablePMC.java:130) at param.StateEliminator.eliminate(StateEliminator.java:396) at param.StateEliminator.eliminate(StateEliminator.java:292) at param.ValueComputer.computeValues(ValueComputer.java:731) at param.ValueComputer.computeUnboundedMC(ValueComputer.java:307) at param.ValueComputer.computeUnbounded(ValueComputer.java:286) at param.ValueComputer.computeUnbounded(ValueComputer.java:261) at param.ParamModelChecker.checkProbUntil(ParamModelChecker.java:976) at param.ParamModelChecker.checkProbPathFormulaSimple(ParamModelChecker.java:959) at param.ParamModelChecker.checkExpressionProb(ParamModelChecker.java:911) at param.ParamModelChecker.checkExpression(ParamModelChecker.java:391) at param.ParamModelChecker.checkExpressionFilter(ParamModelChecker.java:544) at param.ParamModelChecker.checkExpression(ParamModelChecker.java:388) at param.ParamModelChecker.check(ParamModelChecker.java:256) at prism.Prism.modelCheckParametric(Prism.java:3243) at prism.PrismCL.run(PrismCL.java:377) at prism.PrismCL.go(PrismCL.java:210) at prism.PrismCL.main(PrismCL.java:2523)

Error: Caught unhandled exception, aborting....