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

- Last-minute modifications at work

parent 13a0f263
Branches
No related tags found
No related merge requests found
......@@ -68,22 +68,22 @@ E<> P_ClientClockDiff.FINISH_CLOCKOUTOFBOUNDS
/*
*/
E<> abs(client_clock_counter_diff) >= bc_interval_length - 2 and P_ClientBehavior.broadcast_offset > 0
E<> P_ClientBehavior.broadcast_offset > 0
/*
*/
E<> abs(client_clock_counter_diff) >= bc_interval_length
E<> abs(client_clock_counter_diff) >= bc_interval_length - 2 and P_ClientBehavior.broadcast_offset > 0
/*
*/
E<> abs(client_clock_counter_diff) >= bc_interval_length - 2
E<> abs(client_clock_counter_diff) >= bc_interval_length
/*
*/
E<> bc_used_counter >= broadcast_repetitions_max
E<> abs(client_clock_counter_diff) >= bc_interval_length - 4
/*
......
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment