Skip to content

Commit 94cdc0d

Browse files
tautschnigtautschnig
committed
Move float-nan-check regression test to cbmc/ folder
This test has been built to exercise --nan-check, not necessarily to exercise particular library functions (even when it does use library functions).
1 parent 127c94b commit 94cdc0d

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

regression/cbmc-library/float-nan-check/main.c renamed to regression/cbmc/float-nan-check/main.c

File renamed without changes.

regression/cbmc-library/float-nan-check/test.desc renamed to regression/cbmc/float-nan-check/test.desc

File renamed without changes.

0 commit comments

Comments
 (0)