[Eva] Prepares new runs of test float/nonlin.c: moves oracle from run 2 to 3.
This commit is separated from the next to avoid mixing up the oracle moves with the addition of new oracles for the new runs.
Please register or sign in to comment
This commit is separated from the next to avoid mixing up the oracle moves with the addition of new oracles for the new runs.