Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Comment out ALERT messages

  • Loading branch information...
commit 806f37afe483400fee3b7862814c98e7ecb8bb80 1 parent f907b28
@iliastsi iliastsi authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/concuerror_deps.erl
View
4 src/concuerror_deps.erl
@@ -384,8 +384,8 @@ dependent(TransitionA, TransitionB, _CheckMsg, ?DONT_ALLOW_SWAP) ->
case independent(TransitionA, TransitionB) of
true -> false;
maybe ->
- io:format("ALERT! Not certainly independent:\n ~p\n ~p\n",
- [TransitionA, TransitionB]),
+% io:format("ALERT! Not certainly independent:\n ~p\n ~p\n",
+% [TransitionA, TransitionB]),
true
end.
Please sign in to comment.
Something went wrong with that request. Please try again.