Skip to content

Commit cfcef17

Browse files
authored
Merge pull request #1857 from goblint/longjmp-counting-local-dedup
Remove duplicate test 68-longjmp/13-counting-local
2 parents 9662188 + a25952f commit cfcef17

File tree

1 file changed

+0
-25
lines changed

1 file changed

+0
-25
lines changed

tests/regression/68-longjmp/13-counting-local.c

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

0 commit comments

Comments
 (0)