Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 75bb7d62

Name Size Revision Age Author Comment
  regression_tests d895591e over 4 years Pierre-Loïc Garoche More functions
  sandbox 604d5b37 over 6 years Pierre-Loïc Garoche Import tests in fresh repo
  stateflow_json 762f339c over 4 years Bourbouh add new format
  tests 75bb7d62 almost 4 years Pierre-Loïc Garoche Simple test to show cex with zustre

Latest revisions

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

Simple test to show cex with zustre
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
8af9a0b9 01/31/2018 06:13 AM Pierre-Loïc Garoche

New machine types related test cases
762f339c 12/20/2017 03:52 PM Bourbouh

add new format
b9724665 12/19/2017 02:24 AM Bourbouh

add json example for SF IR
5bed65ad 12/13/2017 05:32 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
67d911bc 12/13/2017 05:32 PM Pierre-Loïc Garoche

MPFR and EMF checks
29e431d5 12/13/2017 05:31 PM Pierre-Loïc Garoche

EMF validation
910349ce 12/13/2017 05:03 PM Bourbouh

Add stateflow json example

View all revisions | View revisions

Also available in: Atom