Skip to content

Commit 51c59e9

Browse files
NlightNFotisNlightNFotis
authored
Merge pull request #5917 from NlightNFotis/remove_pointer_byte_extract_test
Remove Pointer_byte_extract8 as it is no longer needed.
2 parents 1244577 + e5e4a18 commit 51c59e9

File tree

2 files changed

+0
-49
lines changed

2 files changed

+0
-49
lines changed

‎regression/cbmc/Pointer_byte_extract8/main.i

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

‎regression/cbmc/Pointer_byte_extract8/test.desc

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

0 commit comments

Comments
 (0)