Commit a25952f

committed

Remove test 68-longjmp/13-counting-local

This is a duplicate of 68-longjmp/04-counting-local (only PARAM order differs). This was already noted in https://github.com/goblint/analyzer/pull/764/files#r902274022. This was again discovered by @karoliineh in sv-benchmarks: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1659.

1 parent 9662188 commit a25952fCopy full SHA for a25952f

1 file changed

+0

-25

lines changed

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

1 file changed

+0

-25

lines changed

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

This file was deleted.

Comments

(0)