Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/tests/cocospec @ 4784e95f

# Date Author Comment
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
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
5dfe059d 10/05/2018 07:53 PM Pierre-Loïc Garoche

Cocospec
c3af3032 09/28/2018 07:04 PM Bourbouh

add more contracts examples
6c964a9b 09/25/2018 01:08 PM Pierre-Loïc Garoche

Cocospec files
fd5381b7 05/30/2018 11:49 AM Bourbouh

stopwatch