Merge pull request #905 from diffblue/move-smt-tests

move SMV tests into regression/smv directory
diffblue · Dec 27, 2024 · 03e6d0f · 03e6d0f
2 parents b872a3f + bba2c44
commit 03e6d0f
Show file tree

Hide file tree

Showing 16 changed files with 0 additions and 0 deletions.
diff --git a/regression/ebmc/range_type/range_type1.desc → regression/smv/range-type/range_type1.desc b/regression/ebmc/range_type/range_type1.desc → regression/smv/range-type/range_type1.desc
diff --git a/regression/ebmc/range_type/range_type1.smv → regression/smv/range-type/range_type1.smv b/regression/ebmc/range_type/range_type1.smv → regression/smv/range-type/range_type1.smv
diff --git a/regression/ebmc/range_type/range_type2.desc → regression/smv/range-type/range_type2.desc b/regression/ebmc/range_type/range_type2.desc → regression/smv/range-type/range_type2.desc
diff --git a/regression/ebmc/range_type/range_type2.smv → regression/smv/range-type/range_type2.smv b/regression/ebmc/range_type/range_type2.smv → regression/smv/range-type/range_type2.smv
diff --git a/regression/ebmc/range_type/range_type3.desc → regression/smv/range-type/range_type3.desc b/regression/ebmc/range_type/range_type3.desc → regression/smv/range-type/range_type3.desc
diff --git a/regression/ebmc/range_type/range_type3.smv → regression/smv/range-type/range_type3.smv b/regression/ebmc/range_type/range_type3.smv → regression/smv/range-type/range_type3.smv
diff --git a/regression/ebmc/range_type/range_type4.desc → regression/smv/range-type/range_type4.desc b/regression/ebmc/range_type/range_type4.desc → regression/smv/range-type/range_type4.desc
diff --git a/regression/ebmc/range_type/range_type4.smv → regression/smv/range-type/range_type4.smv b/regression/ebmc/range_type/range_type4.smv → regression/smv/range-type/range_type4.smv
diff --git a/regression/ebmc/range_type/range_type5.desc → regression/smv/range-type/range_type5.desc b/regression/ebmc/range_type/range_type5.desc → regression/smv/range-type/range_type5.desc
diff --git a/regression/ebmc/range_type/range_type5.smv → regression/smv/range-type/range_type5.smv b/regression/ebmc/range_type/range_type5.smv → regression/smv/range-type/range_type5.smv
diff --git a/regression/ebmc/range_type/range_type6.desc → regression/smv/range-type/range_type6.desc b/regression/ebmc/range_type/range_type6.desc → regression/smv/range-type/range_type6.desc
diff --git a/regression/ebmc/range_type/range_type6.smv → regression/smv/range-type/range_type6.smv b/regression/ebmc/range_type/range_type6.smv → regression/smv/range-type/range_type6.smv
diff --git a/regression/ebmc/range_type/range_type7.desc → regression/smv/range-type/range_type7.desc b/regression/ebmc/range_type/range_type7.desc → regression/smv/range-type/range_type7.desc
diff --git a/regression/ebmc/range_type/range_type7.smv → regression/smv/range-type/range_type7.smv b/regression/ebmc/range_type/range_type7.smv → regression/smv/range-type/range_type7.smv
diff --git a/regression/ebmc/range_type/range_type8.desc → regression/smv/range-type/range_type8.desc b/regression/ebmc/range_type/range_type8.desc → regression/smv/range-type/range_type8.desc
diff --git a/regression/ebmc/range_type/range_type8.smv → regression/smv/range-type/range_type8.smv b/regression/ebmc/range_type/range_type8.smv → regression/smv/range-type/range_type8.smv