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)