Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / cocospec @ ffe46d5f

Name Size Revision Age Author Comment
BacteriaPopulation.lus 3.72 KB bd3f748f over 1 year Pierre-Loïc Garoche guarantee(s)
DaysEnum_PP.KIND2.lus 2.35 KB bd3f748f over 1 year Pierre-Loïc Garoche guarantee(s)
ElevatorSpec.lus 10.3 KB 3debaf88 over 1 year Pierre-Loïc Garoche Removed mode labels
FSMSpec.lus 5.26 KB f0e4e301 over 1 year Pierre-Loïc Garoche Moved files content in a single file
StopwatchSpec.lus 3.29 KB bd3f748f over 1 year Pierre-Loïc Garoche guarantee(s)
StopwatchSpec2.lus 3.19 KB c3af3032 about 2 years Bourbouh add more contracts examples
StopwatchSpecV2.lus 3.29 KB 4784e95f over 1 year Pierre-Loïc Garoche Small modifications to have the tests ok: we do...
TriplexSignalMonitorSpec.lus 5.75 KB 6ccfcb12 over 1 year hbourbou add regulators cocospec example
bacteria.lus 3.68 KB bd3f748f over 1 year Pierre-Loïc Garoche guarantee(s)
bacteriaPopulationStateflow_PP.lus 37.9 KB bd3f748f over 1 year Pierre-Loïc Garoche guarantee(s)
bacteriaPopulation_PP.lus 20 KB bd3f748f over 1 year Pierre-Loïc Garoche guarantee(s)
integrator_12BWithoutModesAndInitialization.lus 2.39 KB 6ccfcb12 over 1 year hbourbou add regulators cocospec example
refinement.lus 651 Bytes 4784e95f over 1 year Pierre-Loïc Garoche Small modifications to have the tests ok: we do...
regulator_12B_Spec.lus 4.44 KB ffe46d5f over 1 year Pierre-Loïc Garoche Top level contracts are comments
simple_ok.lus 442 Bytes bd3f748f over 1 year Pierre-Loïc Garoche guarantee(s)

Latest revisions

# Date Author Comment
ffe46d5f 03/21/2019 09:41 PM Pierre-Loïc Garoche

Top level contracts are comments

3debaf88 03/21/2019 09:38 PM Pierre-Loïc Garoche

Removed mode labels

2a9aa5e1 03/21/2019 09:29 PM Pierre-Loïc Garoche

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

4784e95f 03/21/2019 09:29 PM Pierre-Loïc Garoche

Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax

f0e4e301 03/21/2019 09:28 PM Pierre-Loïc Garoche

Moved files content in a single file

6ccfcb12 03/21/2019 08:25 PM hbourbou

add regulators cocospec example

bd3f748f 03/21/2019 05:12 PM Pierre-Loïc Garoche

guarantee(s)

f470cec6 03/14/2019 08:27 PM hbourbou

add more cocospec examples

1e3ae41f 02/24/2019 11:24 PM Bourbouh

add another contract example

dd2eeba6 02/24/2019 11:21 PM Bourbouh

add another contract example

View revisions

Also available in: Atom