Dekker1/TCP-setup-uppaal
Archived
1
0
Fork 0
Code

Removed faulty query

Browse Source
This commit is contained in:
Jip J. Dekker 2014-02-02 22:24:24 +01:00
parent 6f2e44c670
commit 527ccfa60d
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Model/model.q
View File

@ -7,11 +7,6 @@
/* /*
*/
(not Host1.Closed and not Host2.Closed) --> Host1.Established
/*
*/ */
A[] not deadlock A[] not deadlock