From bba2c44f91629efcf6eb4e71c4e86fe3a708fa23 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 26 Dec 2024 19:24:00 +0000 Subject: [PATCH] move SMV tests into regression/smv directory --- regression/{ebmc/range_type => smv/range-type}/range_type1.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type1.smv | 0 regression/{ebmc/range_type => smv/range-type}/range_type2.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type2.smv | 0 regression/{ebmc/range_type => smv/range-type}/range_type3.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type3.smv | 0 regression/{ebmc/range_type => smv/range-type}/range_type4.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type4.smv | 0 regression/{ebmc/range_type => smv/range-type}/range_type5.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type5.smv | 0 regression/{ebmc/range_type => smv/range-type}/range_type6.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type6.smv | 0 regression/{ebmc/range_type => smv/range-type}/range_type7.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type7.smv | 0 regression/{ebmc/range_type => smv/range-type}/range_type8.desc | 0 regression/{ebmc/range_type => smv/range-type}/range_type8.smv | 0 16 files changed, 0 insertions(+), 0 deletions(-) rename regression/{ebmc/range_type => smv/range-type}/range_type1.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type1.smv (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type2.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type2.smv (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type3.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type3.smv (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type4.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type4.smv (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type5.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type5.smv (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type6.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type6.smv (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type7.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type7.smv (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type8.desc (100%) rename regression/{ebmc/range_type => smv/range-type}/range_type8.smv (100%) diff --git a/regression/ebmc/range_type/range_type1.desc b/regression/smv/range-type/range_type1.desc similarity index 100% rename from regression/ebmc/range_type/range_type1.desc rename to regression/smv/range-type/range_type1.desc diff --git a/regression/ebmc/range_type/range_type1.smv b/regression/smv/range-type/range_type1.smv similarity index 100% rename from regression/ebmc/range_type/range_type1.smv rename to regression/smv/range-type/range_type1.smv diff --git a/regression/ebmc/range_type/range_type2.desc b/regression/smv/range-type/range_type2.desc similarity index 100% rename from regression/ebmc/range_type/range_type2.desc rename to regression/smv/range-type/range_type2.desc diff --git a/regression/ebmc/range_type/range_type2.smv b/regression/smv/range-type/range_type2.smv similarity index 100% rename from regression/ebmc/range_type/range_type2.smv rename to regression/smv/range-type/range_type2.smv diff --git a/regression/ebmc/range_type/range_type3.desc b/regression/smv/range-type/range_type3.desc similarity index 100% rename from regression/ebmc/range_type/range_type3.desc rename to regression/smv/range-type/range_type3.desc diff --git a/regression/ebmc/range_type/range_type3.smv b/regression/smv/range-type/range_type3.smv similarity index 100% rename from regression/ebmc/range_type/range_type3.smv rename to regression/smv/range-type/range_type3.smv diff --git a/regression/ebmc/range_type/range_type4.desc b/regression/smv/range-type/range_type4.desc similarity index 100% rename from regression/ebmc/range_type/range_type4.desc rename to regression/smv/range-type/range_type4.desc diff --git a/regression/ebmc/range_type/range_type4.smv b/regression/smv/range-type/range_type4.smv similarity index 100% rename from regression/ebmc/range_type/range_type4.smv rename to regression/smv/range-type/range_type4.smv diff --git a/regression/ebmc/range_type/range_type5.desc b/regression/smv/range-type/range_type5.desc similarity index 100% rename from regression/ebmc/range_type/range_type5.desc rename to regression/smv/range-type/range_type5.desc diff --git a/regression/ebmc/range_type/range_type5.smv b/regression/smv/range-type/range_type5.smv similarity index 100% rename from regression/ebmc/range_type/range_type5.smv rename to regression/smv/range-type/range_type5.smv diff --git a/regression/ebmc/range_type/range_type6.desc b/regression/smv/range-type/range_type6.desc similarity index 100% rename from regression/ebmc/range_type/range_type6.desc rename to regression/smv/range-type/range_type6.desc diff --git a/regression/ebmc/range_type/range_type6.smv b/regression/smv/range-type/range_type6.smv similarity index 100% rename from regression/ebmc/range_type/range_type6.smv rename to regression/smv/range-type/range_type6.smv diff --git a/regression/ebmc/range_type/range_type7.desc b/regression/smv/range-type/range_type7.desc similarity index 100% rename from regression/ebmc/range_type/range_type7.desc rename to regression/smv/range-type/range_type7.desc diff --git a/regression/ebmc/range_type/range_type7.smv b/regression/smv/range-type/range_type7.smv similarity index 100% rename from regression/ebmc/range_type/range_type7.smv rename to regression/smv/range-type/range_type7.smv diff --git a/regression/ebmc/range_type/range_type8.desc b/regression/smv/range-type/range_type8.desc similarity index 100% rename from regression/ebmc/range_type/range_type8.desc rename to regression/smv/range-type/range_type8.desc diff --git a/regression/ebmc/range_type/range_type8.smv b/regression/smv/range-type/range_type8.smv similarity index 100% rename from regression/ebmc/range_type/range_type8.smv rename to regression/smv/range-type/range_type8.smv