Skip to content

Commit 38d945a

Browse files
TGWDBTGWDB
authored
Merge pull request #6336 from TGWDB/Temp-float-disable
Remove float-trace as a temporary fix
2 parents b4c3a12 + aeba3f0 commit 38d945a

File tree

2 files changed

+0
-60
lines changed

2 files changed

+0
-60
lines changed

‎regression/cbmc/float-trace/test.c

Lines changed: 0 additions & 28 deletions
This file was deleted.

‎regression/cbmc/float-trace/test.desc

Lines changed: 0 additions & 32 deletions
This file was deleted.

0 commit comments

Comments
 (0)