Examples with RealValue org.evosuite.symbolic.expr.fp.RealValue used on opensource projects

Example 16 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class FLOOR method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue floorExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.FLOOR;
        floorExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        floorExpr = this.getSymbRealRetVal();
    }
    return floorExpr;
}

Example 17 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class HYPOT method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue left = this.getSymbRealArgument(0);
    RealValue right = this.getSymbRealArgument(1);
    RealValue hypotExpr;
    if (left.containsSymbolicVariable() || right.containsSymbolicVariable()) {
        Operator op = Operator.HYPOT;
        hypotExpr = new RealBinaryExpression(left, op, right, res);
    } else {
        hypotExpr = this.getSymbRealRetVal();
    }
    return hypotExpr;
}

Example 18 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class LocalsVM method DSTORE.

@Override
public void DSTORE(int i) {
    RealValue realExpr = env.topFrame().operandStack.popFp64();
    env.topFrame().localsTable.setFp64Local(i, realExpr);
}

Example 19 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class LocalsVM method FLOAD.

@Override
public void FLOAD(int i) {
    RealValue realExpr = (RealValue) env.topFrame().localsTable.getFp32Local(i);
    env.topFrame().operandStack.pushFp32(realExpr);
}

Example 20 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class LOG10 method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue log10Expr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.LOG10;
        log10Expr = new RealUnaryExpression(realExpression, op, res);
    } else {
        log10Expr = this.getSymbRealRetVal();
    }
    return log10Expr;
}