From d22f9932d440236c4041ecae18f7bd1979b9921b Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 21 Sep 2023 15:09:37 +0200 Subject: [PATCH] All the model tests are positive --- tests/issues/{555.models.fail.expected => 555.models.expected} | 0 tests/issues/{555.models.fail.smt2 => 555.models.smt2} | 0 tests/issues/{777.models.fail.expected => 777.models.expected} | 0 tests/issues/{777.models.fail.smt2 => 777.models.smt2} | 0 .../arith/{arith1.models.fail.expected => arith1.models.expected} | 0 .../models/arith/{arith1.models.fail.smt2 => arith1.models.smt2} | 0 .../arith/{arith2.models.fail.expected => arith2.models.expected} | 0 .../models/arith/{arith2.models.fail.smt2 => arith2.models.smt2} | 0 .../bool/{bool1.models.fail.expected => bool1.models.expected} | 0 tests/models/bool/{bool1.models.fail.smt2 => bool1.models.smt2} | 0 .../bool/{bool2.models.fail.expected => bool2.models.expected} | 0 tests/models/bool/{bool2.models.fail.smt2 => bool2.models.smt2} | 0 .../715/{715_2.models.fail.expected => 715_2.models.expected} | 0 .../issues/715/{715_2.models.fail.smt2 => 715_2.models.smt2} | 0 .../{record1.models.fail.expected => record1.models.expected} | 0 .../records/{record1.models.fail.smt2 => record1.models.smt2} | 0 tests/models/uf/{uf1.models.fail.expected => uf1.models.expected} | 0 tests/models/uf/{uf1.models.fail.smt2 => uf1.models.smt2} | 0 tests/models/uf/{uf2.models.fail.expected => uf2.models.expected} | 0 tests/models/uf/{uf2.models.fail.smt2 => uf2.models.smt2} | 0 20 files changed, 0 insertions(+), 0 deletions(-) rename tests/issues/{555.models.fail.expected => 555.models.expected} (100%) rename tests/issues/{555.models.fail.smt2 => 555.models.smt2} (100%) rename tests/issues/{777.models.fail.expected => 777.models.expected} (100%) rename tests/issues/{777.models.fail.smt2 => 777.models.smt2} (100%) rename tests/models/arith/{arith1.models.fail.expected => arith1.models.expected} (100%) rename tests/models/arith/{arith1.models.fail.smt2 => arith1.models.smt2} (100%) rename tests/models/arith/{arith2.models.fail.expected => arith2.models.expected} (100%) rename tests/models/arith/{arith2.models.fail.smt2 => arith2.models.smt2} (100%) rename tests/models/bool/{bool1.models.fail.expected => bool1.models.expected} (100%) rename tests/models/bool/{bool1.models.fail.smt2 => bool1.models.smt2} (100%) rename tests/models/bool/{bool2.models.fail.expected => bool2.models.expected} (100%) rename tests/models/bool/{bool2.models.fail.smt2 => bool2.models.smt2} (100%) rename tests/models/issues/715/{715_2.models.fail.expected => 715_2.models.expected} (100%) rename tests/models/issues/715/{715_2.models.fail.smt2 => 715_2.models.smt2} (100%) rename tests/models/records/{record1.models.fail.expected => record1.models.expected} (100%) rename tests/models/records/{record1.models.fail.smt2 => record1.models.smt2} (100%) rename tests/models/uf/{uf1.models.fail.expected => uf1.models.expected} (100%) rename tests/models/uf/{uf1.models.fail.smt2 => uf1.models.smt2} (100%) rename tests/models/uf/{uf2.models.fail.expected => uf2.models.expected} (100%) rename tests/models/uf/{uf2.models.fail.smt2 => uf2.models.smt2} (100%) diff --git a/tests/issues/555.models.fail.expected b/tests/issues/555.models.expected similarity index 100% rename from tests/issues/555.models.fail.expected rename to tests/issues/555.models.expected diff --git a/tests/issues/555.models.fail.smt2 b/tests/issues/555.models.smt2 similarity index 100% rename from tests/issues/555.models.fail.smt2 rename to tests/issues/555.models.smt2 diff --git a/tests/issues/777.models.fail.expected b/tests/issues/777.models.expected similarity index 100% rename from tests/issues/777.models.fail.expected rename to tests/issues/777.models.expected diff --git a/tests/issues/777.models.fail.smt2 b/tests/issues/777.models.smt2 similarity index 100% rename from tests/issues/777.models.fail.smt2 rename to tests/issues/777.models.smt2 diff --git a/tests/models/arith/arith1.models.fail.expected b/tests/models/arith/arith1.models.expected similarity index 100% rename from tests/models/arith/arith1.models.fail.expected rename to tests/models/arith/arith1.models.expected diff --git a/tests/models/arith/arith1.models.fail.smt2 b/tests/models/arith/arith1.models.smt2 similarity index 100% rename from tests/models/arith/arith1.models.fail.smt2 rename to tests/models/arith/arith1.models.smt2 diff --git a/tests/models/arith/arith2.models.fail.expected b/tests/models/arith/arith2.models.expected similarity index 100% rename from tests/models/arith/arith2.models.fail.expected rename to tests/models/arith/arith2.models.expected diff --git a/tests/models/arith/arith2.models.fail.smt2 b/tests/models/arith/arith2.models.smt2 similarity index 100% rename from tests/models/arith/arith2.models.fail.smt2 rename to tests/models/arith/arith2.models.smt2 diff --git a/tests/models/bool/bool1.models.fail.expected b/tests/models/bool/bool1.models.expected similarity index 100% rename from tests/models/bool/bool1.models.fail.expected rename to tests/models/bool/bool1.models.expected diff --git a/tests/models/bool/bool1.models.fail.smt2 b/tests/models/bool/bool1.models.smt2 similarity index 100% rename from tests/models/bool/bool1.models.fail.smt2 rename to tests/models/bool/bool1.models.smt2 diff --git a/tests/models/bool/bool2.models.fail.expected b/tests/models/bool/bool2.models.expected similarity index 100% rename from tests/models/bool/bool2.models.fail.expected rename to tests/models/bool/bool2.models.expected diff --git a/tests/models/bool/bool2.models.fail.smt2 b/tests/models/bool/bool2.models.smt2 similarity index 100% rename from tests/models/bool/bool2.models.fail.smt2 rename to tests/models/bool/bool2.models.smt2 diff --git a/tests/models/issues/715/715_2.models.fail.expected b/tests/models/issues/715/715_2.models.expected similarity index 100% rename from tests/models/issues/715/715_2.models.fail.expected rename to tests/models/issues/715/715_2.models.expected diff --git a/tests/models/issues/715/715_2.models.fail.smt2 b/tests/models/issues/715/715_2.models.smt2 similarity index 100% rename from tests/models/issues/715/715_2.models.fail.smt2 rename to tests/models/issues/715/715_2.models.smt2 diff --git a/tests/models/records/record1.models.fail.expected b/tests/models/records/record1.models.expected similarity index 100% rename from tests/models/records/record1.models.fail.expected rename to tests/models/records/record1.models.expected diff --git a/tests/models/records/record1.models.fail.smt2 b/tests/models/records/record1.models.smt2 similarity index 100% rename from tests/models/records/record1.models.fail.smt2 rename to tests/models/records/record1.models.smt2 diff --git a/tests/models/uf/uf1.models.fail.expected b/tests/models/uf/uf1.models.expected similarity index 100% rename from tests/models/uf/uf1.models.fail.expected rename to tests/models/uf/uf1.models.expected diff --git a/tests/models/uf/uf1.models.fail.smt2 b/tests/models/uf/uf1.models.smt2 similarity index 100% rename from tests/models/uf/uf1.models.fail.smt2 rename to tests/models/uf/uf1.models.smt2 diff --git a/tests/models/uf/uf2.models.fail.expected b/tests/models/uf/uf2.models.expected similarity index 100% rename from tests/models/uf/uf2.models.fail.expected rename to tests/models/uf/uf2.models.expected diff --git a/tests/models/uf/uf2.models.fail.smt2 b/tests/models/uf/uf2.models.smt2 similarity index 100% rename from tests/models/uf/uf2.models.fail.smt2 rename to tests/models/uf/uf2.models.smt2