Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / modules @ 99a9d521

Name Size Revision Age Author Comment
Generate_inputs_lusi.java 2.99 KB 4748b215 over 2 years hbourbou add more simulink tests
Lustre_compile.cmake 5.58 KB 5a55fdd1 over 2 years Pierre-Loïc Garoche Improved ctest configuration
XPathParser_lusi.java 8.14 KB 02d89bbb over 4 years Hamza Bourbouh add automata folder to tests
Zustre_compile.cmake 4.08 KB cac038b0 over 4 years Hamza Bourbouh factorize kind_fmcad08 in one cmake file
compare_lustrec_outputs.java 2.24 KB 7f14b1e1 over 4 years Hamza Bourbouh add mpfr test
compare_ref_zustre.cmake 1.9 KB 16bf5d3c about 4 years Pierre-Loïc Garoche Improved zustre output comparison
helpful_functions.cmake 1.63 KB 952e86fa about 3 years Bourbouh add helpful_functions to the modules folder
javax.xml-1.3.4.jar 232 KB 2d6a9bb3 over 4 years Hamza Bourbouh compare Zustre xml with lustrec binary
read_value.c 176 Bytes 6c3ea955 over 4 years Hamza Bourbouh add Simulink
strategies.cmake 25 KB 99a9d521 over 2 years hbourbou remove corrupted lustre files

Latest revisions

# Date Author Comment
99a9d521 03/21/2019 12:32 AM hbourbou

remove corrupted lustre files

17b2e00a 03/20/2019 02:48 AM hbourbou

add ADA strategy and call it in Simulink folder

4748b215 12/04/2018 09:40 PM hbourbou

add more simulink tests

58eac50a 11/16/2018 12:54 AM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

c34a50ff 11/16/2018 12:49 AM Pierre-Loïc Garoche

Better naming

8451150a 11/15/2018 08:49 PM hbourbou

add output references

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

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

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

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

Improved ctest configuration

952e86fa 06/09/2018 11:06 AM Bourbouh

add helpful_functions to the modules folder

View revisions

Also available in: Atom