test/Makefile.inc

test/bfs-spanning-tree/Makefile

test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus

test/bfs-spanning-tree/fig5.1-noinit_oracle.lus

test/bfs-spanning-tree/oracle_lemma5_16.lus

test/coloring/Makefile

test/coloring/coloring_oracle.lus

test/coloring/oracle.lus

test/coloring/oracle_theorem3_17.lus

test/coloring/ring_oracle.lus

test/dijkstra-ring/Makefile

test/dijkstra-ring/oracle_lemma6_28.lus

test/dijkstra-ring/oracle_theorem6_29.lus

test/dijkstra-ring/ring.dot

test/lustre/round.lus

test/lustre/utils.lus

test/unison/Makefile

test/unison/oracle_lemma4_10.lus

test/unison/oracle_theorem4_11.lus

test/unison/ring.dot