| Branch: | Tag: | Revision:

lustrec-tests @ ddc8cb0f

Name Size Revision Age Author Comment
  regression_tests ddc8cb0f over 2 years Bourbouh add zustre results
  sandbox 604d5b37 about 5 years Pierre-Loïc Garoche Import tests in fresh repo
  stateflow_json 184630f0 over 2 years Bourbouh add json regression tests
  tests fd5381b7 over 2 years Bourbouh stopwatch

Latest revisions

# Date Author Comment
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


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

View all revisions | View revisions

Also available in: Atom