Skip to content

Commit b7859de

Browse files
martin-csmartin-cs
authored
Merge pull request diffblue#5907 from tautschnig/enable-regression-tests
Add cbmc-from-CVS regression tests
2 parents f649c47 + 07c6fbd commit b7859de

File tree

176 files changed

+1069
-1021
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

176 files changed

+1069
-1021
lines changed

‎regression/cbmc-from-CVS/Array_Access1/main.c

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

‎regression/cbmc-from-CVS/Array_Access2/main.c

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

‎regression/cbmc-from-CVS/Array_Pointer2/main.c

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

‎regression/cbmc-from-CVS/Array_Pointer3/main.c

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

‎regression/cbmc-from-CVS/Array_Pointer4/main.c

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

‎regression/cbmc-from-CVS/Array_Pointer7/main.c

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

‎regression/cbmc-from-CVS/Linked_List1/main.c

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

‎regression/cbmc-from-CVS/Makefile

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

‎regression/cbmc-from-CVS/Malloc1/main.c

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

‎regression/cbmc-from-CVS/Malloc10/main.c

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

‎regression/cbmc-from-CVS/Malloc11/main.c

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

‎regression/cbmc-from-CVS/Malloc2/main.c

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

‎regression/cbmc-from-CVS/Malloc4/test.desc

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

‎regression/cbmc-from-CVS/Malloc5/main.c

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

‎regression/cbmc-from-CVS/Malloc5/test.desc

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

‎regression/cbmc-from-CVS/Malloc6/main.c

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

0 commit comments

Comments
 (0)