Skip to content

Commit dcdd4a1

Browse files
tautschnigtautschnig
authored
Merge pull request #856 from diffblue/smv-tests-split
move SMV tests into separate directories
2 parents 3dd2344 + 54a6272 commit dcdd4a1

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

50 files changed

+0
-0
lines changed

‎regression/smv/smv/smv_ctlspec1.desc renamed to ‎regression/smv/CTL/smv_ctlspec1.desc

File renamed without changes.

‎regression/smv/smv/smv_ctlspec1.smv renamed to ‎regression/smv/CTL/smv_ctlspec1.smv

File renamed without changes.

‎regression/smv/smv/smv_ctlspec_F1.desc renamed to ‎regression/smv/CTL/smv_ctlspec_F1.desc

File renamed without changes.

‎regression/smv/smv/smv_ctlspec_F1.smv renamed to ‎regression/smv/CTL/smv_ctlspec_F1.smv

File renamed without changes.

‎regression/smv/smv/smv_ctlspec_G1.desc renamed to ‎regression/smv/CTL/smv_ctlspec_G1.desc

File renamed without changes.

‎regression/smv/smv/smv_ctlspec_G1.smv renamed to ‎regression/smv/CTL/smv_ctlspec_G1.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec1.desc renamed to ‎regression/smv/LTL/smv_ltlspec1.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec1.smv renamed to ‎regression/smv/LTL/smv_ltlspec1.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec2.desc renamed to ‎regression/smv/LTL/smv_ltlspec2.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec2.smv renamed to ‎regression/smv/LTL/smv_ltlspec2.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec3.desc renamed to ‎regression/smv/LTL/smv_ltlspec3.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec3.smv renamed to ‎regression/smv/LTL/smv_ltlspec3.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec4.desc renamed to ‎regression/smv/LTL/smv_ltlspec4.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec4.smv renamed to ‎regression/smv/LTL/smv_ltlspec4.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec5.desc renamed to ‎regression/smv/LTL/smv_ltlspec5.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec5.smv renamed to ‎regression/smv/LTL/smv_ltlspec5.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec6.desc renamed to ‎regression/smv/LTL/smv_ltlspec6.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec6.smv renamed to ‎regression/smv/LTL/smv_ltlspec6.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_F1.desc renamed to ‎regression/smv/LTL/smv_ltlspec_F1.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_F1.smv renamed to ‎regression/smv/LTL/smv_ltlspec_F1.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_F2.desc renamed to ‎regression/smv/LTL/smv_ltlspec_F2.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_F2.smv renamed to ‎regression/smv/LTL/smv_ltlspec_F2.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_F3.desc renamed to ‎regression/smv/LTL/smv_ltlspec_F3.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_F3.smv renamed to ‎regression/smv/LTL/smv_ltlspec_F3.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_G1.desc renamed to ‎regression/smv/LTL/smv_ltlspec_G1.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_G1.smv renamed to ‎regression/smv/LTL/smv_ltlspec_G1.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_G2.desc renamed to ‎regression/smv/LTL/smv_ltlspec_G2.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_G2.smv renamed to ‎regression/smv/LTL/smv_ltlspec_G2.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_G3.desc renamed to ‎regression/smv/LTL/smv_ltlspec_G3.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_G3.smv renamed to ‎regression/smv/LTL/smv_ltlspec_G3.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R1.desc renamed to ‎regression/smv/LTL/smv_ltlspec_R1.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R1.smv renamed to ‎regression/smv/LTL/smv_ltlspec_R1.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R2.desc renamed to ‎regression/smv/LTL/smv_ltlspec_R2.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R2.smv renamed to ‎regression/smv/LTL/smv_ltlspec_R2.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R3.desc renamed to ‎regression/smv/LTL/smv_ltlspec_R3.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R3.smv renamed to ‎regression/smv/LTL/smv_ltlspec_R3.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R4.desc renamed to ‎regression/smv/LTL/smv_ltlspec_R4.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_R4.smv renamed to ‎regression/smv/LTL/smv_ltlspec_R4.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_U1.desc renamed to ‎regression/smv/LTL/smv_ltlspec_U1.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_U1.smv renamed to ‎regression/smv/LTL/smv_ltlspec_U1.smv

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_U2.desc renamed to ‎regression/smv/LTL/smv_ltlspec_U2.desc

File renamed without changes.

‎regression/smv/smv/smv_ltlspec_U2.smv renamed to ‎regression/smv/LTL/smv_ltlspec_U2.smv

File renamed without changes.

‎regression/smv/smv/smv_if1.desc renamed to ‎regression/smv/expressions/smv_if1.desc

File renamed without changes.

‎regression/smv/smv/smv_if1.smv renamed to ‎regression/smv/expressions/smv_if1.smv

File renamed without changes.

‎regression/smv/smv/smv_iff1.desc renamed to ‎regression/smv/expressions/smv_iff1.desc

File renamed without changes.

‎regression/smv/smv/smv_iff1.smv renamed to ‎regression/smv/expressions/smv_iff1.smv

File renamed without changes.

‎regression/smv/smv/smv_iff2.desc renamed to ‎regression/smv/expressions/smv_iff2.desc

File renamed without changes.

‎regression/smv/smv/smv_iff2.smv renamed to ‎regression/smv/expressions/smv_iff2.smv

File renamed without changes.

‎regression/smv/smv/smv_set1.desc renamed to ‎regression/smv/expressions/smv_set1.desc

File renamed without changes.

‎regression/smv/smv/smv_set1.smv renamed to ‎regression/smv/expressions/smv_set1.smv

File renamed without changes.

0 commit comments

Comments
 (0)