Skip to content

Commit 127c94b

Browse files
tautschnigtautschnig
committed
Rename cbmc-library/string-abstraction regression tests to strlen-02
In cbmc-library/, we organise regression tests by the name of the library function they are exercising.
1 parent 39958e6 commit 127c94b

File tree

3 files changed

+0
-0
lines changed

3 files changed

+0
-0
lines changed

regression/cbmc-library/string-abstraction/test-c-with-string-abstraction.desc renamed to regression/cbmc-library/strlen-02/test-c-with-string-abstraction.desc

File renamed without changes.

regression/cbmc-library/string-abstraction/test-c-without-string-abstraction.desc renamed to regression/cbmc-library/strlen-02/test-c-without-string-abstraction.desc

File renamed without changes.

regression/cbmc-library/string-abstraction/test.c renamed to regression/cbmc-library/strlen-02/test.c

File renamed without changes.

0 commit comments

Comments
 (0)