diff --git a/cif/org.eclipse.escet.cif.tests/tests/controllercheck/disabled_evts.out b/cif/org.eclipse.escet.cif.tests/tests/controllercheck/disabled_evts.out
index 7e3b0d70b2cc4b4d974027aff2436dec2a60372f..5ec1740ed050a80a1ebbad4f1acb1a22a9344fd2 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/controllercheck/disabled_evts.out
+++ b/cif/org.eclipse.escet.cif.tests/tests/controllercheck/disabled_evts.out
@@ -5,9 +5,6 @@ Iteration 1.
 
 Checking for confluence...
 
-Mutual exclusive event pairs:
-    (c_a, c_b)
-
 CONCLUSION:
     The specification has finite response.
     The specification has confluence.
diff --git a/cif/org.eclipse.escet.cif.tests/tests/controllercheck/empty.err b/cif/org.eclipse.escet.cif.tests/tests/controllercheck/empty.err
index fb9ff117cf3d299db055e161241246ac9ba28321..82e87532eff5eb767d547ce3d9794fd919df883b 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/controllercheck/empty.err
+++ b/cif/org.eclipse.escet.cif.tests/tests/controllercheck/empty.err
@@ -1 +1 @@
-WARNING: The specification contains 0 automata.
+WARNING: The specification contains no automata.
diff --git a/cif/org.eclipse.escet.cif.tests/tests/controllercheck/no_controllables.err b/cif/org.eclipse.escet.cif.tests/tests/controllercheck/no_controllables.err
index 56428860413472480611e15864e887a10ac9eafb..7e3b756533c5ebdeb380322d49d272cd837de197 100644
--- a/cif/org.eclipse.escet.cif.tests/tests/controllercheck/no_controllables.err
+++ b/cif/org.eclipse.escet.cif.tests/tests/controllercheck/no_controllables.err
@@ -1 +1 @@
-WARNING: The specification contains 0 controllable events.
+WARNING: The specification contains no used controllable events.