Skip to content

Commit ea71d66

Browse files
SaswatPadhiSaswatPadhi
committed
Rename regression tests for clarity
1 parent 56e0b20 commit ea71d66

File tree

24 files changed

+0
-0
lines changed

24 files changed

+0
-0
lines changed

‎regression/contracts/quantifiers-exists-both-01/main.c renamed to ‎regression/contracts/quantifiers-exists-both-enforce/main.c

File renamed without changes.

‎regression/contracts/quantifiers-exists-both-01/test.desc renamed to ‎regression/contracts/quantifiers-exists-both-enforce/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-exists-both-02/main.c renamed to ‎regression/contracts/quantifiers-exists-both-replace/main.c

File renamed without changes.

‎regression/contracts/quantifiers-exists-both-02/test.desc renamed to ‎regression/contracts/quantifiers-exists-both-replace/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-exists-ensures-01/main.c renamed to ‎regression/contracts/quantifiers-exists-ensures-enforce/main.c

File renamed without changes.

‎regression/contracts/quantifiers-exists-ensures-01/test.desc renamed to ‎regression/contracts/quantifiers-exists-ensures-enforce/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-exists-ensures-02/main.c renamed to ‎regression/contracts/quantifiers-exists-ensures-replace/main.c

File renamed without changes.

‎regression/contracts/quantifiers-exists-ensures-02/test.desc renamed to ‎regression/contracts/quantifiers-exists-ensures-replace/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-exists-requires-01/main.c renamed to ‎regression/contracts/quantifiers-exists-requires-enforce/main.c

File renamed without changes.

‎regression/contracts/quantifiers-exists-requires-01/test.desc renamed to ‎regression/contracts/quantifiers-exists-requires-enforce/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-exists-requires-02/main.c renamed to ‎regression/contracts/quantifiers-exists-requires-replace/main.c

File renamed without changes.

‎regression/contracts/quantifiers-exists-requires-02/test.desc renamed to ‎regression/contracts/quantifiers-exists-requires-replace/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-forall-both-01/main.c renamed to ‎regression/contracts/quantifiers-forall-both-enforce/main.c

File renamed without changes.

‎regression/contracts/quantifiers-forall-both-01/test.desc renamed to ‎regression/contracts/quantifiers-forall-both-enforce/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-forall-both-02/main.c renamed to ‎regression/contracts/quantifiers-forall-both-replace/main.c

File renamed without changes.

‎regression/contracts/quantifiers-forall-both-02/test.desc renamed to ‎regression/contracts/quantifiers-forall-both-replace/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-forall-ensures-01/main.c renamed to ‎regression/contracts/quantifiers-forall-ensures-enforce/main.c

File renamed without changes.

‎regression/contracts/quantifiers-forall-ensures-01/test.desc renamed to ‎regression/contracts/quantifiers-forall-ensures-enforce/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-forall-ensures-02/main.c renamed to ‎regression/contracts/quantifiers-forall-ensures-replace/main.c

File renamed without changes.

‎regression/contracts/quantifiers-forall-ensures-02/test.desc renamed to ‎regression/contracts/quantifiers-forall-ensures-replace/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-forall-requires-01/main.c renamed to ‎regression/contracts/quantifiers-forall-requires-enforce/main.c

File renamed without changes.

‎regression/contracts/quantifiers-forall-requires-01/test.desc renamed to ‎regression/contracts/quantifiers-forall-requires-enforce/test.desc

File renamed without changes.

‎regression/contracts/quantifiers-forall-requires-02/main.c renamed to ‎regression/contracts/quantifiers-forall-requires-replace/main.c

File renamed without changes.

‎regression/contracts/quantifiers-forall-requires-02/test.desc renamed to ‎regression/contracts/quantifiers-forall-requires-replace/test.desc

File renamed without changes.

0 commit comments

Comments
 (0)