Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / cocospec / DaysEnum_PP.KIND2.lus @ 6ccfcb12

History | View | Annotate | Download (2.35 KB)

# Date Author Comment
bd3f748f 03/21/2019 05:12 PM Pierre-Loïc Garoche

guarantee(s)

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

add another contract example