source « tests - scade-analyzer.git - Analyse statique de SCADE

Mode	Name	Size
-rw-r--r--	DiffSystem.scade	810	log plain blame
-rw-r--r--	NestedControl.scade	974	log plain blame
-rw-r--r--	Overflows.scade	1116	log plain blame
-rw-r--r--	abro.scade	712	log plain blame
-rw-r--r--	cosinus.scade	431	log plain blame
-rw-r--r--	counters.scade	999	log plain blame
-rw-r--r--	gilbreath.scade	640	log plain blame
-rw-r--r--	half.scade	483	log plain blame
-rw-r--r--	jeannet.scade	279	log plain blame
-rw-r--r--	limiter.scade	621	log plain blame
-rw-r--r--	limitera.scade	726	log plain blame
-rw-r--r--	locals.scade	300	log plain blame
-rw-r--r--	rfollow.scade	454	log plain blame
-rw-r--r--	test0.scade	122	log plain blame
-rw-r--r--	test1.scade	149	log plain blame
-rw-r--r--	test2.scade	172	log plain blame
-rw-r--r--	test3.scade	144	log plain blame
-rw-r--r--	test4.scade	168	log plain blame
-rw-r--r--	test5.scade	169	log plain blame
-rw-r--r--	test6.scade	203	log plain blame
-rw-r--r--	test7.scade	133	log plain blame
-rw-r--r--	testc.scade	176	log plain blame
-rw-r--r--	train.scade	1640	log plain blame
-rw-r--r--	two_counters.scade	607	log plain blame
-rw-r--r--	updown.scade	503	log plain blame
-rw-r--r--	updown2.scade	860	log plain blame
-rw-r--r--	updown_fail.scade	420	log plain blame
-rw-r--r--	uturn.scade	2206	log plain blame