search

pascalpoizat / veca-ide

:microscope: verification of component architectures (IDE plugin)
Apache License 2.0
0 stars 0 forks source link

add timeouts #3

Open pascalpoizat opened 6 years ago

pascalpoizat commented 6 years ago

Add new kind of action in transitions, of the form

si: timeout 15 then si'

Requires pascalpoizat/veca-haskell#21