summaryrefslogtreecommitdiff
path: root/tests/kind2-examples
ModeNameSize
-rw-r--r--a_microwave.scade95062logplainblame
-rw-r--r--a_mode_benchmark.scade23535logplainblame
-rw-r--r--a_two_counters.scade396logplainblame