Commit 9ae8bc9e authored by axr's avatar axr
Browse files

invalid tests put in comments (will be deleted later)

parent 4902d622

ATS/core_language/06_types_and_values/0605_automatic_type/060504_references/Sem_060504_references_002.ttcn

+15 −12
Original line number Diff line number Diff line 
// @author   TTF T023

// @purpose  1:6.5, Ensure automatic type for arrays.

// @verdict  pass accept, ttcn3verdict:pass



//NOTE TTF T032: Test not valid, will be deleted



module Sem_060504_references_002 {



type component GeneralComp {}

//type component GeneralComp {}



function verifyType(inout integer a[3]) {

	setverdict(pass);

}

//function verifyType(inout integer a[3]) {

//	setverdict(pass);

//}



testcase TC_Sem_060504_references_002() runs on GeneralComp {

	var integer a[3];

	var v := a;

	verifyType(v);

}

//testcase TC_Sem_060504_references_002() runs on GeneralComp {

//	var integer a[3];

//	var v := a;

//	verifyType(v);

//}



control {

	execute(TC_Sem_060504_references_002());

}

//control {

//	execute(TC_Sem_060504_references_002());

//}



}

ATS/core_language/06_types_and_values/0605_automatic_type/060505_field_assignment_lists/Sem_060505_field_assignment_lists_003.ttcn

+14 −11
Original line number Diff line number Diff line 
// @author   TTF T023

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

// @verdict  pass accept, ttcn3verdict:pass



//NOTE TTF T032: Test not valid, will be deleted



module Sem_060505_field_assignment_lists_003 {



type component GeneralComp {}

//type component GeneralComp {}



function verifyType(inout record { integer x, integer y } r) {

	setverdict(pass);

}

//function verifyType(inout record { integer x, integer y } r) {

//	setverdict(pass);

//}



testcase TC_Sem_060505_field_assignment_lists_003() runs on GeneralComp {

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

	verifyType(v);

}

//testcase TC_Sem_060505_field_assignment_lists_003() runs on GeneralComp {

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

//	verifyType(v);

//}



control {

	execute(TC_Sem_060505_field_assignment_lists_003());

}

//control {

//	execute(TC_Sem_060505_field_assignment_lists_003());

//}



}

ATS/core_language/16_functions_altsteps_testcases/1601_functions/160106_the_not_implemented_function/Sem_160106_the_not_implemented_function_005.ttcn

+19 −16
Original line number Diff line number Diff line 
// @author   TTF T023

// @purpose  1:16.1.6, Ensure implementation does not change during tests execution

// @verdict  pass accept, ttcn3verdict:pass



//NOTE TTF T032: Test not valid, will be deleted



module Sem_160106_the_not_implemented_function_005 {



type component GeneralComp {}

//type component GeneralComp {}



function @deterministic f() return charstring {

	return ???;

}

//function @deterministic f() return charstring {

//	return ???;

//}



testcase TC_Sem_160106_the_not_implemented_function_005() runs on GeneralComp {

	var charstring x := f();

	var charstring y := f();

	if (x == y) {

		setverdict(pass);

	} else {

		setverdict(fail, x & " != " & y);

	}

}

//testcase TC_Sem_160106_the_not_implemented_function_005() runs on GeneralComp {

//	var charstring x := f();

//	var charstring y := f();

//	if (x == y) {

//		setverdict(pass);

//	} else {

//		setverdict(fail, x & " != " & y);

//	}

//}



control {

	execute(TC_Sem_160106_the_not_implemented_function_005());

}

//control {

//	execute(TC_Sem_160106_the_not_implemented_function_005());

//}



}