Function call : informal

This test case it part of the test suite proposed for new devices.

Test case ID: R0110
Language: ST

Code:

tests2/t0110.st
(* Function ABSZ *)
FUNCTION ABSZ_R0110 : REAL
    VAR_INPUT
        X : REAL;
    END_VAR
    IF( X < 0.0 ) THEN ABSZ_R0110 := -X;
    ELSE ABSZ_R0110 := X;
    END_IF;
    
END_FUNCTION



PROGRAM R0110
    VAR
        Z,Y : REAL;
    END_VAR

    Z := -1.234;
    IF( ABSZ_R0110(-Z) = ABSZ_R0110(Z)) THEN 
        Y := 1.0+ABSZ_R0110(Z)-1.0;
    END_IF;

_GEB_ASSERT_EQFLOAT_(Y , 1.234);
_GEB_ASSERT_EQFLOAT_(Z , -1.234);
    
END_PROGRAM