Skip to content

Commit b286077

Browse files
AnonymousRandAnonymousRand
committed
rename some tests
1 parent c870d53 commit b286077

32 files changed

Lines changed: 16 additions & 16 deletions

tests/thms/thmcounter/__init__.py renamed to tests/thms/thm_counter/__init__.py

File renamed without changes.

tests/thms/thmcounter/fail_1.txt renamed to tests/thms/thm_counter/fail_1.txt

File renamed without changes.

tests/thms/thmcounter/fail_1_expected.txt renamed to tests/thms/thm_counter/fail_1_expected.txt

File renamed without changes.

tests/thms/thmcounter/success_1.txt renamed to tests/thms/thm_counter/success_1.txt

File renamed without changes.

tests/thms/thmcounter/success_1_expected.txt renamed to tests/thms/thm_counter/success_1_expected.txt

File renamed without changes.

tests/thms/thmcounter/success_2.txt renamed to tests/thms/thm_counter/success_2.txt

File renamed without changes.

tests/thms/thmcounter/success_2_expected.txt renamed to tests/thms/thm_counter/success_2_expected.txt

File renamed without changes.

tests/thms/thmcounter/success_3.txt renamed to tests/thms/thm_counter/success_3.txt

File renamed without changes.

tests/thms/thmcounter/success_3_expected.txt renamed to tests/thms/thm_counter/success_3_expected.txt

File renamed without changes.

tests/thms/thmcounter/success_4.txt renamed to tests/thms/thm_counter/success_4.txt

File renamed without changes.

0 commit comments

Comments
 (0)