Der Operator erzeugt eine Referenz (Pointer) auf einen Wert.
Syntax:
<variable name> REF= <variable name> ;
Beispiel
refA : REFERENCE TO DUT; B : DUT; C : DUT; A REF= B; // corresponds to A := ADR(B); A := C; // corresponds to A^ := C;
Der Operator erzeugt eine Referenz (Pointer) auf einen Wert.
Syntax:
<variable name> REF= <variable name> ;
Beispiel
refA : REFERENCE TO DUT; B : DUT; C : DUT; A REF= B; // corresponds to A := ADR(B); A := C; // corresponds to A^ := C;