Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/tests/zustre @ 4784e95f

Name Size Revision Age Author Comment
simple_counter_cex.lus 154 Bytes fd5381b7 over 6 years Bourbouh stopwatch

Latest revisions

# Date Author Comment
fd5381b7 05/30/2018 11:49 AM Bourbouh

stopwatch
75bb7d62 05/29/2018 09:56 AM Pierre-Loïc Garoche

Simple test to show cex with zustre

View revisions

Also available in: Atom