/regression_tests/lustre_files/success/automata - Repository - Lustrec-Tests

lustrec-tests/regression_tests/lustre_files/success/automata @ af44cb25

Name	Size	Revision	Age	Author	Comment
with_properties		5600dad4	about 8 years	Hamza Bourbouh	update automata/with_prop folder
without_properties		af44cb25	about 8 years	Hamza Bourbouh	update folders
CMakeLists.txt	183 Bytes	b56f648d	about 8 years	Hamza Bourbouh	add clocks folder to tests
CMakeLists.txt~	4.92 KB	02d89bbb	about 8 years	Hamza Bourbouh	add automata folder to tests

#	Date	Author	Comment
af44cb25	11/30/2016 12:38 AM	Hamza Bourbouh	update folders
5600dad4	11/30/2016 12:28 AM	Hamza Bourbouh	update automata/with_prop folder
b56f648d	11/21/2016 03:42 PM	Hamza Bourbouh	add clocks folder to tests
02d89bbb	11/21/2016 03:29 PM	Hamza Bourbouh	add automata folder to tests

Also available in: Atom