Commit ab1d7be2 authored by urbant's avatar urbant
Browse files

Removed invalid condition

parent 863eca1d
Loading
Loading
Loading
Loading
+2 −3
Original line number Original line Diff line number Diff line
@@ -33,9 +33,8 @@ module NegSem_050402_actual_parameters_096 {
            field2 := ({ subfield1 := 0, subfield2 := 1}, { subfield1 := 2, subfield2 := 3 })
            field2 := ({ subfield1 := 0, subfield2 := 1}, { subfield1 := 2, subfield2 := 3 })
        };
        };
        f_test(v_rec.field2.subfield1); // tested parameter passing (using referencing rules specified at 15.6.2)
        f_test(v_rec.field2.subfield1); // tested parameter passing (using referencing rules specified at 15.6.2)
        if (valueof(v_rec.field2.subfield1) == 10 and match(0, v_rec.field2.subfield2)) { setverdict(pass); }
        log(v_rec);
        else { setverdict(fail); }
        setverdict(pass);

	}
	}


	control {
	control {