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

lustrec-tests/regression_tests/lustre_files/success/automata @ 7a4e6825

Name	Size	Revision	Age	Author	Comment
with_properties		7a4e6825	over 7 years	Pierre-Loïc Garoche	conditional use of zustre
without_properties		7a4e6825	over 7 years	Pierre-Loïc Garoche	conditional use of zustre
CMakeLists.txt	183 Bytes	b56f648d	about 8 years	Hamza Bourbouh	add clocks folder to tests

#	Date	Author	Comment
7a4e6825	05/05/2017 10:24 PM	Pierre-Loïc Garoche	conditional use of zustre
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