Skip to content
Snippets Groups Projects
Commit ffe601b9 authored by Kristof's avatar Kristof
Browse files

- Added diagnostic finishability query

parent f72643fc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 0 deletions
Clocks-Test-4.q
+ 5
− 0
View file @ ffe601b9
......@@ -37,6 +37,11 @@ A[] P_ClientBehavior.UNICAST_FINISHED imply (P_ClientClock.client_clock_counter
/*
*/
A[] deadlock imply P_ClientBehavior.FINISH_PROCEDURE
/*
*/
//NO_QUERY
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment