No feedback when timeout in INITIALISATION
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Details
Details
Assignee
Jens Bendisposto
Jens BendispostoReporter
Michael Leuschel
Michael LeuschelPriority
Created June 23, 2015 at 12:34 PM
Updated June 23, 2015 at 12:34 PM
When the INITIALISATION takes too long the Events view only shows the operations as unavailable. There is no feedback to the user in the Events view that the there was a timeout when computing the initialisation.
An example would be the following:
machine SetMinusScalingTest
variables s2 s1
invariants
@inv1 s2 ∈ ℙ(ℤ)
@inv2 s1 ∈ ℙ(ℤ)
events
event INITIALISATION
then
@act1 s2 ≔ {x∣x∈1‥900000 ∧ x mod 3 =0}
@act2 s1 ≔ {y∣y∈10000‥900000 ∧ y mod 2 = 0}
end
event SetMinus
then
@act1 s1 ≔ s1 ∖ s2
end
end