WIP: test case for -remove-redundant-alarms
Showing
- bzip2-1.0.6/.frama-c/GNUmakefile 48 additions, 0 deletionsbzip2-1.0.6/.frama-c/GNUmakefile
- bzip2-1.0.6/.frama-c/bzip2.eva/alarms.csv 6977 additions, 0 deletionsbzip2-1.0.6/.frama-c/bzip2.eva/alarms.csv
- bzip2-1.0.6/.frama-c/bzip2.eva/metrics.log 142 additions, 0 deletionsbzip2-1.0.6/.frama-c/bzip2.eva/metrics.log
- bzip2-1.0.6/.frama-c/bzip2.eva/nonterm.log 53 additions, 0 deletionsbzip2-1.0.6/.frama-c/bzip2.eva/nonterm.log
- bzip2-1.0.6/.frama-c/bzip2.eva/warnings.log 1353 additions, 0 deletionsbzip2-1.0.6/.frama-c/bzip2.eva/warnings.log
- bzip2-1.0.6/.frama-c/bzip2.parse/framac.ast 9629 additions, 0 deletionsbzip2-1.0.6/.frama-c/bzip2.parse/framac.ast
- bzip2-1.0.6/.frama-c/bzip2.parse/metrics.log 80 additions, 0 deletionsbzip2-1.0.6/.frama-c/bzip2.parse/metrics.log
- bzip2-1.0.6/.frama-c/bzip2.parse/warnings.log 3 additions, 0 deletionsbzip2-1.0.6/.frama-c/bzip2.parse/warnings.log
- bzip2-1.0.6/.frama-c/path.mk 7 additions, 0 deletionsbzip2-1.0.6/.frama-c/path.mk
- bzip2-1.0.6/CHANGES 327 additions, 0 deletionsbzip2-1.0.6/CHANGES
- bzip2-1.0.6/LICENSE 42 additions, 0 deletionsbzip2-1.0.6/LICENSE
- bzip2-1.0.6/Makefile 217 additions, 0 deletionsbzip2-1.0.6/Makefile
- bzip2-1.0.6/README 215 additions, 0 deletionsbzip2-1.0.6/README
- bzip2-1.0.6/README.COMPILATION.PROBLEMS 58 additions, 0 deletionsbzip2-1.0.6/README.COMPILATION.PROBLEMS
- bzip2-1.0.6/README.XML.STUFF 45 additions, 0 deletionsbzip2-1.0.6/README.XML.STUFF
- bzip2-1.0.6/blocksort.c 1094 additions, 0 deletionsbzip2-1.0.6/blocksort.c
- bzip2-1.0.6/bzip2.c 2048 additions, 0 deletionsbzip2-1.0.6/bzip2.c
- bzip2-1.0.6/bzip2recover.c 514 additions, 0 deletionsbzip2-1.0.6/bzip2recover.c
- bzip2-1.0.6/bzlib.c 1572 additions, 0 deletionsbzip2-1.0.6/bzlib.c
- bzip2-1.0.6/bzlib.h 282 additions, 0 deletionsbzip2-1.0.6/bzlib.h
bzip2-1.0.6/.frama-c/GNUmakefile
0 → 100644
bzip2-1.0.6/.frama-c/bzip2.eva/alarms.csv
0 → 100644
This diff is collapsed.
bzip2-1.0.6/.frama-c/bzip2.eva/metrics.log
0 → 100644
bzip2-1.0.6/.frama-c/bzip2.eva/nonterm.log
0 → 100644
bzip2-1.0.6/.frama-c/bzip2.eva/warnings.log
0 → 100644
This diff is collapsed.
bzip2-1.0.6/.frama-c/bzip2.parse/framac.ast
0 → 100644
This diff is collapsed.
bzip2-1.0.6/.frama-c/bzip2.parse/metrics.log
0 → 100644
bzip2-1.0.6/.frama-c/path.mk
0 → 100644
bzip2-1.0.6/CHANGES
0 → 100644
bzip2-1.0.6/LICENSE
0 → 100644
bzip2-1.0.6/Makefile
0 → 100644
bzip2-1.0.6/README
0 → 100644
bzip2-1.0.6/README.COMPILATION.PROBLEMS
0 → 100644
bzip2-1.0.6/README.XML.STUFF
0 → 100644
bzip2-1.0.6/blocksort.c
0 → 100644
This diff is collapsed.
bzip2-1.0.6/bzip2.c
0 → 100644
This diff is collapsed.
bzip2-1.0.6/bzip2recover.c
0 → 100644
bzip2-1.0.6/bzlib.c
0 → 100644
This diff is collapsed.
bzip2-1.0.6/bzlib.h
0 → 100644
Please register or sign in to comment