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

• Temesghen Kahsai (NASA Ames / CMU)