Skip to content

Commit bba2c44

Browse files
kroeningkroening
committed
move SMV tests into regression/smv directory
1 parent f8aa6bd commit bba2c44

16 files changed

+0
-0
lines changed

‎regression/ebmc/range_type/range_type1.desc‎ renamed to ‎regression/smv/range-type/range_type1.desc‎

File renamed without changes.

‎regression/ebmc/range_type/range_type1.smv‎ renamed to ‎regression/smv/range-type/range_type1.smv‎

File renamed without changes.

‎regression/ebmc/range_type/range_type2.desc‎ renamed to ‎regression/smv/range-type/range_type2.desc‎

File renamed without changes.

‎regression/ebmc/range_type/range_type2.smv‎ renamed to ‎regression/smv/range-type/range_type2.smv‎

File renamed without changes.

‎regression/ebmc/range_type/range_type3.desc‎ renamed to ‎regression/smv/range-type/range_type3.desc‎

File renamed without changes.

‎regression/ebmc/range_type/range_type3.smv‎ renamed to ‎regression/smv/range-type/range_type3.smv‎

File renamed without changes.

‎regression/ebmc/range_type/range_type4.desc‎ renamed to ‎regression/smv/range-type/range_type4.desc‎

File renamed without changes.

‎regression/ebmc/range_type/range_type4.smv‎ renamed to ‎regression/smv/range-type/range_type4.smv‎

File renamed without changes.

‎regression/ebmc/range_type/range_type5.desc‎ renamed to ‎regression/smv/range-type/range_type5.desc‎

File renamed without changes.

‎regression/ebmc/range_type/range_type5.smv‎ renamed to ‎regression/smv/range-type/range_type5.smv‎

File renamed without changes.

0 commit comments

Comments
 (0)