The operator generates a reference (pointer) to a value.
Syntax:
<variable name> REF= <variable name> ;
Example
refA : REFERENCE TO DUT; B : DUT; C : DUT; A REF= B; // corresponds to A := ADR(B); A := C; // corresponds to A^ := C;
The operator generates a reference (pointer) to a value.
Syntax:
<variable name> REF= <variable name> ;
Example
refA : REFERENCE TO DUT; B : DUT; C : DUT; A REF= B; // corresponds to A := ADR(B); A := C; // corresponds to A^ := C;