Skip to content
Snippets Groups Projects
Commit 4dcc58fb authored by balaskoa's avatar balaskoa
Browse files

typo


Signed-off-by: default avatarbalaskoa <Jeno.Balasko@ericsson.com>
Change-Id: Id3793b9902465095a6f7ffc9c0f948b03386650f
parent e0246781
No related branches found
No related tags found
No related merge requests found
...@@ -278,28 +278,28 @@ testcase boolUninitXor() runs on boolOper_comptype { ...@@ -278,28 +278,28 @@ testcase boolUninitXor() runs on boolOper_comptype {
x1:=true; x1:=true;
@try { @try {
x3:=x1 xor x2; x3:=x1 xor x2;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x3:=x2 xor x1; x3:=x2 xor x1;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x3:= true xor x2; x3:= true xor x2;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x3:=x2 xor true; x3:=x2 xor true;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -311,14 +311,14 @@ testcase boolUninitOr() runs on boolOper_comptype { ...@@ -311,14 +311,14 @@ testcase boolUninitOr() runs on boolOper_comptype {
x1:=false; x1:=false;
@try { @try {
x3:=x1 or x2; x3:=x1 or x2;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x3:=x2 or x1; x3:=x2 or x1;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -332,7 +332,7 @@ testcase boolUninitOr() runs on boolOper_comptype { ...@@ -332,7 +332,7 @@ testcase boolUninitOr() runs on boolOper_comptype {
} }
@try { @try {
x3:=x2 or true; x3:=x2 or true;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -344,28 +344,28 @@ testcase boolUninitAnd() runs on boolOper_comptype { ...@@ -344,28 +344,28 @@ testcase boolUninitAnd() runs on boolOper_comptype {
x1:=true; x1:=true;
@try { @try {
x3:=x1 and x2; x3:=x1 and x2;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x3:=x2 and x1; x3:=x2 and x1;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x3:= true and x2; x3:= true and x2;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x3:=x2 and true; x3:=x2 and true;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -376,7 +376,7 @@ testcase boolUninitNot() runs on boolOper_comptype { ...@@ -376,7 +376,7 @@ testcase boolUninitNot() runs on boolOper_comptype {
var boolean x1,x2; var boolean x1,x2;
@try { @try {
x2:= not x1; x2:= not x1;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -388,14 +388,14 @@ testcase boolUninitTemplate() runs on boolOper_comptype { ...@@ -388,14 +388,14 @@ testcase boolUninitTemplate() runs on boolOper_comptype {
var boolean x1; var boolean x1;
@try { @try {
x2:= x1; x2:= x1;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x2:= not x1; x2:= not x1;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -403,7 +403,7 @@ testcase boolUninitTemplate() runs on boolOper_comptype { ...@@ -403,7 +403,7 @@ testcase boolUninitTemplate() runs on boolOper_comptype {
@try { @try {
x1:= valueof(x2); x1:= valueof(x2);
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -415,14 +415,14 @@ testcase boolUninitModulepar() runs on boolOper_comptype { ...@@ -415,14 +415,14 @@ testcase boolUninitModulepar() runs on boolOper_comptype {
var boolean x1 := true; var boolean x1 := true;
@try { @try {
x2:= tsp_uninit; x2:= tsp_uninit;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
} }
@try { @try {
x2:= not tsp_uninit; x2:= not tsp_uninit;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
...@@ -430,7 +430,7 @@ testcase boolUninitModulepar() runs on boolOper_comptype { ...@@ -430,7 +430,7 @@ testcase boolUninitModulepar() runs on boolOper_comptype {
@try { @try {
x2:= tsp_uninit or x1; x2:= tsp_uninit or x1;
setverdict(fail, "This line should not reached. DTE expected") setverdict(fail, "This line should not be reached. DTE expected")
} @catch(e) { } @catch(e) {
//check e //check e
setverdict(pass); setverdict(pass);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment