...
Code Block |
---|
task foo
meter hour 0 240
task bar
trigger foo:hour >= 120
task foobar
trigger foo:hour == 120 # dangerous !!!
|
There
...
is
...
no
...
automatic
...
checking
...
for
...
deadlocks,
...
which can be difficult to detect. However, if your suite is known to complete (i.e.it
...
does
...
not
...
run
...
forever),
...
then
...
simulation
...
can
...
be
...
used
...
to
...
check
...
for
...
deadlocks.
...
The
...
following
...
example
...
is
...
a
...
simple
...
case:
Code Block |
---|
task a ; trigger ./b == complete
task b ; trigger ./a == complete # DEADLOCKS tasks a & b |
...