Skip to content

Commit aeba3f0

Browse files
TGWDBTGWDB
committed
Nuke the test due to KNOWNBUG run failure
1 parent b6e8e2f commit aeba3f0

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)