search

albertogoffi / toradocu

Toradocu - automated generation of test oracles from Javadoc documentation
Other
42 stars 21 forks source link

Condition for "same array lengths" incorrect #69

Closed bjkeller closed 7 years ago

bjkeller commented 7 years ago

For Apache Commons Math class StepFunction Toradocu generates the condition method:

    // org.apache.commons.math3.analysis.function.StepFunction.StepFunction(double[] x,double[] y)
    public static boolean m0_t3(org.apache.commons.math3.analysis.function.StepFunction receiver0_t3, double[] x, double[] y) {
        // @throws org.apache.commons.math3.exception.DimensionMismatchException if x and y do not have the same length. ==> (args[0].length) == false && (args[1].length) == false
        return (x.length) == false && (y.length) == false;
    }

The actual condition should be x.length == y.length.

Other cases:

    // org.apache.commons.math3.analysis.integration.gauss.GaussIntegrator.GaussIntegrator(double[] points,double[] weights)
    public static boolean m0_t1(org.apache.commons.math3.analysis.integration.gauss.GaussIntegrator receiver0_t1, double[] points, double[] weights) {
        // @throws org.apache.commons.math3.exception.DimensionMismatchException if points and weights don't have the same length ==> (args[0].length) == false && (args[1].length) == false
        return (points.length) == false && (weights.length) == false;
    }