diff --git a/library/RAN_Emulation.ttcnpp b/library/RAN_Emulation.ttcnpp
index 6a1f784..2fba50a 100644
--- a/library/RAN_Emulation.ttcnpp
+++ b/library/RAN_Emulation.ttcnpp
@@ -406,7 +406,8 @@
 			return;
 		}
 	}
-	testcase.stop("RAN Connection table full!");
+	setverdict(fail, "RAN Connection table full!");
+	mtc.stop;
 }
 
 private function f_conn_table_del(integer sccp_conn_id)
@@ -1449,7 +1450,8 @@
 			return;
 		}
 	}
-	testcase.stop("No space left in ExpectTable");
+	setverdict(fail, "No space left in ExpectTable");
+	mtc.stop;
 }
 
 private function f_create_imsi(hexstring imsi, OCT4 tmsi, RAN_ConnHdlr hdlr)
@@ -1463,7 +1465,8 @@
 			return;
 		}
 	}
-	testcase.stop("No space left in ImsiTable");
+	setverdict(fail, "No space left in ImsiTable");
+	mtc.stop;
 }
 
 private function f_destroy_imsi(hexstring imsi, RAN_ConnHdlr hdlr)
@@ -1477,7 +1480,8 @@
 			return;
 		}
 	}
-	testcase.stop("Unable to find to-be-destroyed IMSI in ImsiTable");
+	setverdict(fail, "Unable to find to-be-destroyed IMSI in ImsiTable");
+	mtc.stop;
 }
 
 private function f_expect_table_init()