About

This repo contains different regression tests for several tools developed in the CoCo project.

stateflow : StateFlow models and scripts for regression tests of CoCoSim. It also contains models that have not supported Stateflow constructs.
simulink : Simulink models and scripts for regression tests of CoCoSim
lustre : Lustre code for regression tests of Zustre

Contact

Name		Name	Last commit message	Last commit date
Latest commit History 56 Commits
LPAR		LPAR
commit_tests		commit_tests
lustre		lustre
s-function		s-function
scripts		scripts
simulink		simulink
stateflow		stateflow
README.md		README.md