diff --git a/function_test/Semantic_Analyser/port_translation/Setstate_SE.ttcn b/function_test/Semantic_Analyser/port_translation/Setstate_SE.ttcn index 7c1d38cd3d99f17151e71db94c927e1da60b838f..f0eba605b03a03dece7098ef417759d077bfe66c 100644 --- a/function_test/Semantic_Analyser/port_translation/Setstate_SE.ttcn +++ b/function_test/Semantic_Analyser/port_translation/Setstate_SE.ttcn @@ -14,14 +14,14 @@ module Setstate_SE { //^In TTCN-3 module// - const integer i1 := 4; + const integer i1 := 5; const integer i2 := 9999999999999999999999999999999999999999999999999999; function f() { //^In function definition \`f\'\:// - port.setstate(-1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// - port.setstate(9999999999999999999999999999999999999999999999999999); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// - port.setstate(i1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// - port.setstate(i2); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// + port.setstate(-1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.// + port.setstate(9999999999999999999999999999999999999999999999999999); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.// + port.setstate(i1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.// + port.setstate(i2); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.// } -} \ No newline at end of file +}