Commit 969d00d6 authored by balaskoa's avatar balaskoa
Browse files

ischosen an ispresent tests have been added to Regression_Test_java


Signed-off-by: default avatarbalaskoa <Jeno.Balasko@ericsson.com>
parent 2316e9cf
......@@ -7,6 +7,7 @@
#TconfigOper.InterleaveStatem4
#TconfigOper.InterleaveStatem5
[ORDERED_INCLUDE]
......@@ -21,7 +22,7 @@ NumHCs := 1
# In this section you can specify the name of the log file and the classes of events
# you want to log into the file or display on console (standard error).
LogFile := "logs/%e.%h-%r_parallel.%s"
LogFile := "logs/%e.%h-%r_parallel_bugs.%s"
FileMask := LOG_ALL #|TESTCASE | STATISTICS #|LOG_ALL #| DEBUG | MATCHING
ConsoleMask := ERROR | WARNING | TESTCASE | STATISTICS #| PORTEVENT | USER
AppendFile := No
......
......@@ -31,8 +31,9 @@ TconfigOper.control #parallel 43 pass, 5 tc commented ot(3 fail, 1 error) #TODO
#connectMapOperNegTest
ConnectMapOperNegTest #parallel ok 3 pass
#defaultOper:
TdefaultOper #ok,
TdefaultOper #ok,
#ispresent:
IsPresent_Test.control #ok, 84 pass
[MAIN_CONTROLLER]
# The options herein control the behavior of MC.
......
......@@ -35,10 +35,13 @@
#TvalueofSubref.control #the file excluded!!
#TfunctionSubref.tc_func_subref_parameter
#TpardTemplateSubref.control # 6 error
predefFunctTest.tc_predef_oct2char_good1
predefFunctTest.tc_predef_oct2char_good2
predefFunctTest.tc_predef_oct2char_octetstr_elem
#predefFunctTest.tc_predef_oct2char_good1 #fail
#predefFunctTest.tc_predef_oct2char_good2 #fail
#predefFunctTest.tc_predef_oct2char_octetstr_elem #fail
#IndexWithRecofArray - excluded, a lot of false semantic error
#json (There are testcases commented out in it!! In preinit of JsonTypes it stops with exception)
#AttributeTestcases.control
#JsonTestcases.control
[LOGGING]
# In this section you can specify the name of the log file and the classes of events
......
......@@ -146,6 +146,13 @@ HQ16404 # ok, 13 pass
#intOper:
TintOper #ok, 50 pass
#ipv6 #TODO: list a lot of cfg file
#ischosen:
IsChosen_Test #4pass
#ispresent:
#IsPresent_Test # moved into parallel mode, 84 pass
#json (There are testcases commented out in it!! In preinit of JsonTypes it stops with exception)
#AttributeTestcases.control
#JsonTestcases.control
......
###############################################################################
# Copyright (c) 2000-2019 Ericsson Telecom AB
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v2.0
# which accompanies this distribution, and is available at
# https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
#
# Contributors:
# Szabo, Bence Janos
#
###############################################################################
[LOGGING]
FileMask := TTCN_ERROR | TTCN_TESTCASE | TTCN_STATISTICS | TTCN_VERDICTOP |USER
ConsoleMask := TTCN_ERROR | TTCN_TESTCASE | TTCN_STATISTICS | TTCN_VERDICTOP | USER
SourceInfoFormat := Stack
LogEventTypes := Detailed
MatchingHints := Detailed
[EXECUTE]
IsChosen_Test.control
/******************************************************************************
* Copyright (c) 2000-2019 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Szabo, Bence Janos
*
******************************************************************************/
//Purpose: To test function ischosen()
//It should be run in parallel mode
module IsChosen_Test {
type component MTC_CT {
}
type record MyRecord {
MyUnion2 u optional,
anytype at
}
type record of charstring ROC;
type union MyUnion1 {
ROC roc,
integer i,
MyRecord r,
MyUnion2 u,
record of anytype rat,
anytype aat[3]
}
type union MyUnion2 {
integer i,
record of MyUnion3 rou,
MyUnion3 u,
charstring cs
}
type union MyUnion3 {
integer i,
charstring cs
}
const MyUnion1 c_myunion1:= { roc:= { "1aa", "2bb", "3cc"}}
const MyUnion1 c_myunion2:= { i:= 5 }
const MyUnion1 c_myunion3:= { u := {i:=2} }
const MyUnion1 c_myunion4:= { r := { u:= {i:=3}, at := {integer := 3} } }
const MyUnion1 c_myunion5:= { u := {rou := {{i := 4}}}};
const MyUnion1 c_myunion6:= { r := { u:= {i:=3}, at:= {integer:=3} } }
const MyUnion1 c_myunion7:= { rat := {{integer := 4}, {charstring := "a"}} }
const MyUnion1 c_myunion8:= { r := {u := {i := 3}} }
template MyUnion1 t_myunion1:= { roc:= { "1aa", "2bb", "3cc"}}
template MyUnion1 t_myunion2:= { i:= 5 }
template MyUnion1 t_myunion3:= { u := {i:=2} }
template MyUnion1 t_myunion4:= { r := { u:= {i:=3}, at := {integer := 3} } }
template MyUnion1 t_myunion5:= { u := {rou := {({i := 4}, {cs := "4"})}}};
template MyUnion1 t_myunion6:= { roc:= ? }
template MyUnion1 t_myunion7:= { u := {rou := ?}};
template MyUnion1 t_myunion8:= { u := ?};
template MyUnion1 t_myunion9:= { r := { u:= {i:=?}, at := {integer := 3} } }
template MyUnion1 t_myunion10:= { r := { u:= ({i:=(1,2,3)}, {i:=2}), at := {integer := 3} } }
template MyUnion1 t_myunion11:= { r := { u:= ({i:=(1,2,3)}, ?), at := {integer := 3} } }
template MyUnion1 t_myunion12:= { r := { u:= ({i:=(1,2,3)}, {cs := "a"}), at := {integer := 3} } }
template MyUnion1 t_myunion13(in integer a := 1) := { r := { u:= ({i:=a}), at := {integer := 3} } }
template MyUnion1 t_myunion14(in integer a := 1) := { r := { u:= *, at := {integer := 3} } }
template MyUnion1 t_myunion15:= { r := { u:= {i:=3}, at:= {integer:=3} } }
template MyUnion1 t_myunion16:= { rat := {{integer := 4}, {charstring := "a"}} }
template MyUnion1 t_myunion17:= { r := {u := {i := 3}} }
//========= Compound =====
testcase tc_ischosen_on_variable() runs on MTC_CT {
var MyUnion1 vl_u;
// Unbound
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion1;
if(ischosen(vl_u.roc)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion2;
if(ischosen(vl_u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion3;
if(ischosen(vl_u.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion4;
if(ischosen(vl_u.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion5;
if(ischosen(vl_u.u.rou[0].i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.u.rou)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion6;
if(ischosen(vl_u.r.at.integer)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[0].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion7;
if(ischosen(vl_u.rat)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.rat[0].integer)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[0].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou)) {setverdict(fail)} else {setverdict(pass)}
vl_u := c_myunion8;
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.rat[0].integer)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[0].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou)) {setverdict(fail)} else {setverdict(pass)}
}
testcase tc_ischosen_on_const() runs on MTC_CT {
if(ischosen(c_myunion1.roc)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion1.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion1.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion2.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion2.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion2.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion2.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion3.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion3.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion3.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion3.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion3.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion4.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion4.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion4.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion4.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion4.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion5.u.rou[0].i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion5.u.rou)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion5.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion5.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion5.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion5.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion5.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion6.r.at.integer)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion6.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion6.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion6.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion6.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion7.rat)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion7.rat[0].integer)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion7.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion7.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion7.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion8.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion8.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(c_myunion8.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(c_myunion8.roc)) {setverdict(fail)} else {setverdict(pass)}
}
testcase tc_ischosen_on_template() runs on MTC_CT {
if(ischosen(t_myunion1.roc)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion1.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion1.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion2.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion2.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion2.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion2.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion3.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion3.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion3.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion3.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion3.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion4.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion4.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion4.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion4.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion4.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion5.u.rou[0].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion5.u.rou)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion5.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion5.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion5.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion5.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion5.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion6.roc)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion6.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion6.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion6.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion7.u.rou)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion7.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion7.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion7.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion7.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion7.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion8.u)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion8.u.rou)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion8.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion8.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion8.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion8.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion8.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion9.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion9.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion9.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion9.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion9.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion10.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion10.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion10.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion10.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion10.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion11.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion11.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion11.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion11.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion11.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion12.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion12.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion12.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion12.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion12.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion13.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion13.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion13.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion13.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion13.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion14.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion14.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion14.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion14.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion14.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion15.r.at.integer)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion15.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion15.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion15.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion15.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion17.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion17.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(t_myunion17.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(t_myunion17.roc)) {setverdict(fail)} else {setverdict(pass)}
}
testcase tc_ischosen_on_var_template() runs on MTC_CT {
var template MyUnion1 vl_u;
// Unbound
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.u.i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion1;
if(ischosen(vl_u.roc)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion2;
if(ischosen(vl_u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion3;
if(ischosen(vl_u.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion4;
if(ischosen(vl_u.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion5;
if(ischosen(vl_u.u.rou[0].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion6;
if(ischosen(vl_u.roc)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion7;
if(ischosen(vl_u.u.rou)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion8;
if(ischosen(vl_u.u)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.u.rou)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion9;
if(ischosen(vl_u.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion10;
if(ischosen(vl_u.r.u.i)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion11;
if(ischosen(vl_u.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.rat)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[1].i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.u.rou[44].i)) {setverdict(fail)} else {setverdict(pass)}
vl_u := t_myunion12;
if(ischosen(vl_u.r.u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.r)) {setverdict(pass)} else {setverdict(fail)}
if(ischosen(vl_u.i)) {setverdict(fail)} else {setverdict(pass)}
if(ischosen(vl_u.roc)) {setverdict(fail)} else {setverdict(pass)}
if