Probably some error that needs to be caught on the Prolog side:
Update ---> Update :: can_be_enabled_after(ok) : can_be_disabled_after(ok) : can_disable(ok) : Enable=possible_disable % Done Yes: Errors->[error('max applied to empty set',error,[error_span('/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch',298,31,298,44)])] WarningsOnly->false ProB raised exception(s): Error: max applied to empty set (/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch:298:31 to 298:44) Graph visualization failed de.prob.exception.ProBError: ProB reported Errors ProB returned error messages: Error: max applied to empty set (/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch:298:31 to 298:44) at de.prob.animator.command.AbstractCommand.processErrorResult(AbstractCommand.java:137) at de.prob.animator.AnimatorImpl.execute(AnimatorImpl.java:81) at de.prob.statespace.StateSpace.execute(StateSpace.java:543) at de.prob2.ui.dynamic.dotty.DotView.getSvgForDotCommand(DotView.java:185) at de.prob2.ui.dynamic.dotty.DotView.lambda$visualize$6(DotView.java:147) at java.lang.Thread.run(Thread.java:748) <==========---> 80% EXECUTING [36m 51s]
Environment
None
Activity
dgelessus
July 24, 2019 at 1:56 PM
Moved, because this seems to be an issue on the Prolog side and not directly related to the ProB 2 UI.
Major
Probably some error that needs to be caught on the Prolog side:
Update ---> Update :: can_be_enabled_after(ok) : can_be_disabled_after(ok) : can_disable(ok) : Enable=possible_disable
% Done
Yes: Errors->[error('max applied to empty set',error,[error_span('/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch',298,31,298,44)])] WarningsOnly->false
ProB raised exception(s):
Error: max applied to empty set (/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch:298:31 to 298:44)
Graph visualization failed
de.prob.exception.ProBError: ProB reported Errors
ProB returned error messages:
Error: max applied to empty set (/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch:298:31 to 298:44)
at de.prob.animator.command.AbstractCommand.processErrorResult(AbstractCommand.java:137)
at de.prob.animator.AnimatorImpl.execute(AnimatorImpl.java:81)
at de.prob.statespace.StateSpace.execute(StateSpace.java:543)
at de.prob2.ui.dynamic.dotty.DotView.getSvgForDotCommand(DotView.java:185)
at de.prob2.ui.dynamic.dotty.DotView.lambda$visualize$6(DotView.java:147)
at java.lang.Thread.run(Thread.java:748)
<==========---> 80% EXECUTING [36m 51s]