Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests @ 9b45f3df

Name Size Revision Age Author Comment
  lustre_files 9b45f3df over 1 year Pierre-Loïc Garoche renamed mode as mode_ to avoid collision with t...
  modules f4893943 over 1 year Pierre-Loïc Garoche Script now compare the output with ones compile...
CMakeLists.txt 2.74 KB 5a55fdd1 over 1 year Pierre-Loïc Garoche Improved ctest configuration
CTestConfig.cmake 611 Bytes dd62ff27 over 1 year Pierre-Loïc Garoche Improving integration with CDash
CTestConfig.cmake.bkp 532 Bytes 7a4e6825 almost 3 years Pierre-Loïc Garoche conditional use of zustre
CTestCustom.cmake 158 Bytes 6304ff63 over 3 years Hamza Bourbouh add ctest for Stateflow
README 494 Bytes a3c5526d over 3 years Hamza Bourbouh add targets
project_test.cmake 4.7 KB 07e37d22 over 3 years Hamza Bourbouh add testing script
testing_script.cmake 105 Bytes 07e37d22 over 3 years Hamza Bourbouh add testing script

Latest revisions

# Date Author Comment
9b45f3df 11/15/2018 07:40 PM Pierre-Loïc Garoche

renamed mode as mode_ to avoid collision with the mode keyword of cocospec.

f4893943 11/15/2018 07:33 AM Pierre-Loïc Garoche

Script now compare the output with ones compiled with the same options

b5c4cae5 11/14/2018 06:40 PM Pierre-Loïc Garoche

Moved to cocospec contract

94da9360 11/14/2018 06:39 PM Pierre-Loïc Garoche

Restructured mpfr folder tests to rely on highlevel strategies

ff8f35e0 11/14/2018 06:37 PM Pierre-Loïc Garoche

Improved the diff tests: a new option allow to use the java test parameterized by epsilon (precision). Default bnehavior is using regular diff on files

72e9ca2d 11/14/2018 06:35 PM Pierre-Loïc Garoche

Renamed math in lustrec_math

5a55fdd1 11/13/2018 04:15 PM Pierre-Loïc Garoche

Improved ctest configuration

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

View revisions

Also available in: Atom