Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / zustre @ fd5381b7

Name Size Revision Age Author Comment
simple_counter_cex.lus 154 Bytes fd5381b7 about 2 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