Untested line in algorithms/EllipticCurve.sol:219

[Arachnid]

Mutation:
File: algorithms/EllipticCurve.sol
Line nr: 219
Result: Lived
Original line:
if (t0 == t1) {

Mutated line:
                 if (t0 != t1) {

[makoto]

    function addProj(uint x0, uint y0, uint z0, uint x1, uint y1, uint z1) public pure
        returns (uint x2, uint y2, uint z2)
    {
        uint t0;
        uint t1;
        uint u0;
        uint u1;

        if (isZeroCurve(x0, y0)) {
            return (x1, y1, z1);
        }
        else if (isZeroCurve(x1, y1)) {
            return (x0, y0, z0);
        }

        t0 = mulmod(y0, z1, p);
        t1 = mulmod(y1, z0, p);

        u0 = mulmod(x0, z1, p);
        u1 = mulmod(x1, z0, p);

        if (u0 == u1) {
            if (t0 == t1) {```