Commit c2cd3271 authored by Matthias Simon's avatar Matthias Simon
Browse files

Fix expected verdict

parent ee6ea1db

ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_field_assignment_lists_001.ttcn→ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_field_assignment_lists_003.ttcn

+4 −4
Original line number Diff line number Diff line 
// @author   TTF23

// @purpose  1:6.5, Ensure field assignment lists are anonymous records.

// @verdict  pass reject

module NegSem_0605_field_assignment_lists_001 {

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_field_assignment_lists_003 {



type component GeneralComp {}
@@ -9,13 +9,13 @@ function verifyType(inout record { integer x, integer y } r) { 
	setverdict(pass);

}



testcase TC_NegSem_0605_field_assignment_lists_001() runs on GeneralComp {

testcase TC_Sem_0605_field_assignment_lists_003() runs on GeneralComp {

	var v := { x := 1, y := 2 };

	verifyType(v);

}



control {

    execute(TC_NegSem_0605_field_assignment_lists_001());

    execute(TC_Sem_0605_field_assignment_lists_003());

}



}