Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / automata / restart_example.lus @ f910b2ed

History | View | Annotate | Download (259 Bytes)

# Date Author Comment
f910b2ed 04/12/2016 12:50 AM Xavier Thirioux

added example in automata/restart_example.lus