Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 81306cb7

Name Size Revision Age Author Comment
  regression_tests 2e549261 over 2 years Bourbouh add Kind2Results
  sandbox 81306cb7 over 2 years Pierre-Loïc Garoche Tiny example for zustre debugging
  stateflow_json 184630f0 over 2 years Bourbouh add json regression tests
  tests 4f47032a over 2 years Pierre-Loïc Garoche Updates some expected outputs

Latest revisions

# Date Author Comment
81306cb7 06/22/2018 10:29 PM Pierre-Loïc Garoche

Tiny example for zustre debugging

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

184630f0 06/14/2018 01:21 AM Bourbouh

add json regression tests

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

add helpful_functions to the modules folder

fd5381b7 05/30/2018 11:49 AM Bourbouh

stopwatch

75bb7d62 05/29/2018 09:56 AM Pierre-Loïc Garoche

Simple test to show cex with zustre

View all revisions | View revisions

Also available in: Atom