Commit b74f925d authored by stancakapost's avatar stancakapost
Browse files

fixed module/tc name

parent 1528a2fc
Loading
Loading
Loading
Loading
+3 −3
Original line number Original line Diff line number Diff line
@@ -11,7 +11,7 @@
// symbol '->' the keyword value followed by the name of the variable into which the verdict 
// symbol '->' the keyword value followed by the name of the variable into which the verdict 
// is stored.
// is stored.


module Sem_210308_killed_operation_012 {
module Sem_210308_killed_operation_014 {


    type component GeneralComp {}
    type component GeneralComp {}


@@ -19,7 +19,7 @@ module Sem_210308_killed_operation_012 {
		setverdict(pass);
		setverdict(pass);
	}
	}
	
	
    testcase TC_Sem_210308_killed_operation_012() runs on GeneralComp system GeneralComp {
    testcase TC_Sem_210308_killed_operation_014() runs on GeneralComp system GeneralComp {
        var GeneralComp v_ptc := GeneralComp.create;
        var GeneralComp v_ptc := GeneralComp.create;
        var verdicttype v_verdict;
        var verdicttype v_verdict;
        v_ptc.start(f());
        v_ptc.start(f());
@@ -31,6 +31,6 @@ module Sem_210308_killed_operation_012 {
    }
    }


    control {
    control {
        execute(TC_Sem_210308_killed_operation_012(), 5.0);
        execute(TC_Sem_210308_killed_operation_014(), 5.0);
    }
    }
}
}
 No newline at end of file