Hi,
assignment of verdict values to variables follows the general assignment rules. So, in other words, in your example indeed the value of var1 is fail. And if the example would be the other way around:
var verdicttype var1 := fail;
var verdicttype var2 := pass;
var1 := var2;
Then var1 == pass holds.
It is only when setting the local verdict of a component and computing the global verdict of a test case that the overwriting rules for verdicts apply:
setverdict(pass);
setverdict(fail);
getverdict == fail => true
setverdict(fail);
setverdict(pass);
getverdict == fail => true
BR
Stephan Tobies
>
Original Message
> From: ext jacon_wang [This email address is being protected from spambots. You need JavaScript enabled to view it.]
> Sent: 07. March 2003 07:27
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: question about the verdict overwriting rules
>
>
> hi.
>
> I have two varialbes var1 and var2 of type
> verdicttype(var1:=pass, var2:= fail;).
> now,let var1 := var2;
> I want to know whether the value of var1 is fail.
>
> That's to say,I have the following snippet code.
> testcase MyTestCase() runs on MyComponentType
> {
> var verdicttype var1 := fail,var2 := inconc;
> var1 := var2;//here,the value of var1 is fail? is inconc?
> setverdict(var1);
> }
>
>
> Regards,
> Jacon Wang
>
> 　　　　　　　　　　　　　　　　　2003-03-07
> --
> Engineering is the art of making what you want from
> things you can get.
>
> --
> Department of Automation
> The University of Science and Technology of China
> RoomX11-215,Jinzai Road,Hefei,Anhui,China
>
>
> Tel: +86-551-3624003(H)
> Email: This email address is being protected from spambots. You need JavaScript enabled to view it.
>
