[certi-cvs] certi/doc CERTI-tickHandling.q

[certi-cvs]

CVSROOT:        /sources/certi
Module name:    certi
Changes by:     Eric NOULARD <erk>      10/11/20 16:51:59

Added files:
        doc            : CERTI-tickHandling.q 

Log message:
        example of Uppaal Query

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/certi/doc/CERTI-tickHandling.q?cvsroot=certi&rev=1.1

Patches:
Index: CERTI-tickHandling.q
===================================================================
RCS file: CERTI-tickHandling.q
diff -N CERTI-tickHandling.q
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ CERTI-tickHandling.q        20 Nov 2010 16:51:59 -0000      1.1
@@ -0,0 +1,6 @@
+//This file was generated from (Academic) UPPAAL 4.0.11 (rev. 4492), February 
2010
+
+/*
+
+*/
+A[] not deadlock