Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests @ 2d37a1e1

Name Size Revision Age Author Comment
  lustre_files 2d37a1e1 over 6 years Pierre-Loïc Garoche Renaminig lustre contracts from ensures to guar...
  modules 952e86fa almost 7 years Bourbouh add helpful_functions to the modules folder
CMakeLists.txt 2.86 KB dd62ff27 over 6 years Pierre-Loïc Garoche Improving integration with CDash
CTestConfig.cmake 611 Bytes dd62ff27 over 6 years Pierre-Loïc Garoche Improving integration with CDash
CTestConfig.cmake.bkp 532 Bytes 7a4e6825 almost 8 years Pierre-Loïc Garoche conditional use of zustre
CTestCustom.cmake 158 Bytes 6304ff63 over 8 years Hamza Bourbouh add ctest for Stateflow
README 494 Bytes a3c5526d over 8 years Hamza Bourbouh add targets
project_test.cmake 4.7 KB 07e37d22 over 8 years Hamza Bourbouh add testing script
testing_script.cmake 105 Bytes 07e37d22 over 8 years Hamza Bourbouh add testing script

Latest revisions

# Date Author Comment
2d37a1e1 10/08/2018 04:49 PM Pierre-Loïc Garoche

Renaminig lustre contracts from ensures to guarantees
Will require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
dd62ff27 09/14/2018 04:27 PM Pierre-Loïc Garoche

Improving integration with CDash
1fd649ea 06/22/2018 10:28 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
2e549261 06/22/2018 08:33 PM Bourbouh

add Kind2Results
4b18af93 06/22/2018 08:56 AM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
4f47032a 06/22/2018 08:54 AM Pierre-Loïc Garoche

Updates some expected outputs
ddc8cb0f 06/22/2018 08:51 AM Bourbouh

add zustre results
952e86fa 06/09/2018 11:06 AM Bourbouh

add helpful_functions to the modules folder
d895591e 01/31/2018 10:01 AM Pierre-Loïc Garoche

More functions
a603f261 01/31/2018 09:58 AM Pierre-Loïc Garoche

More tests

View revisions

Also available in: Atom