Skip to content

Commit 9ead3dd

Browse files
author
kroening
committed
clean
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5782 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
1 parent 7cb6005 commit 9ead3dd

File tree

2 files changed

+0
-21
lines changed

2 files changed

+0
-21
lines changed

‎regression/cbmc/Array_UF/main.c

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

‎regression/cbmc/Array_UF/test.desc

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

0 commit comments

Comments
 (0)