From 3679d5b903bf8ae4715d5440ebcdb6133610c6bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 13 Feb 2020 15:33:21 +0100
Subject: [PATCH] [Eva] Prepares new runs of test float/nonlin.c: moves oracle
 from run 3 to 4.

This commit is separated from the next to avoid mixing up the oracle moves with
the addition of new oracles for the new runs.
---
 tests/float/oracle/{nonlin.3.res.oracle => nonlin.4.res.oracle} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename tests/float/oracle/{nonlin.3.res.oracle => nonlin.4.res.oracle} (100%)

diff --git a/tests/float/oracle/nonlin.3.res.oracle b/tests/float/oracle/nonlin.4.res.oracle
similarity index 100%
rename from tests/float/oracle/nonlin.3.res.oracle
rename to tests/float/oracle/nonlin.4.res.oracle
-- 
GitLab