Skip to content

Commit 408f0dc

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 dc2c77b commit 408f0dc

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)