No feedback when timeout in INITIALISATION

Description

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

Environment

None

Gliffy Diagrams

Activity

Show:

Details

Assignee

Reporter

Priority

Created June 23, 2015 at 12:34 PM
Updated June 23, 2015 at 12:34 PM