Commit 272d0f74 authored by stancakapost's avatar stancakapost
Browse files

added pass verdict before testcase stop

parent 04a5e41b
Loading
Loading
Loading
Loading
+0 −0

Empty file deleted.

+3 −1
Original line number Diff line number Diff line
@@ -11,7 +11,9 @@ module NegSem_2102_testcase_stop_001 {
	testcase TC_NegSem_2102_testcase_stop_001() runs on GeneralComp {
        var boolean v_b := true;
		
        testcase.stop("Unexpected Termination"); // stop runing test case now
		setverdict(pass, "Unexpected termination with verdict pass");

        testcase.stop("Expected Termination with verdict error"); // stop runing test case now with verdict error
	}
    
    control {