Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / automata @ f20dc4db

Name Size Revision Age Author Comment
aut1.lus 256 Bytes 604d5b37 almost 6 years Pierre-Loïc Garoche Import tests in fresh repo
aut2.lus 4.64 KB 604d5b37 almost 6 years Pierre-Loïc Garoche Import tests in fresh repo
counters.lus 1.02 KB f20dc4db over 5 years Pierre-Loïc Garoche mini automata
heater.lus 2.67 KB 604d5b37 almost 6 years Pierre-Loïc Garoche Import tests in fresh repo
heater3.lus 661 Bytes 604d5b37 almost 6 years Pierre-Loïc Garoche Import tests in fresh repo
heater4.lus 316 Bytes f20dc4db over 5 years Pierre-Loïc Garoche mini automata
test_counter.lus 260 Bytes f20dc4db over 5 years Pierre-Loïc Garoche mini automata
test_counter2.lus 291 Bytes f20dc4db over 5 years Pierre-Loïc Garoche mini automata
test_nok.lus 295 Bytes f20dc4db over 5 years Pierre-Loïc Garoche mini automata
test_ok.lus 291 Bytes f20dc4db over 5 years Pierre-Loïc Garoche mini automata

Latest revisions

# Date Author Comment
f20dc4db 01/15/2016 10:49 AM Pierre-Loïc Garoche

mini automata

604d5b37 12/10/2015 11:17 AM Pierre-Loïc Garoche

Import tests in fresh repo

View revisions

Also available in: Atom