same conditions as 786, sliced program does not terminate when original does (csmith)
ID0000787: This issue was created automatically from Mantis Issue 787. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000787 | Frama-C | Plug-in > slicing | public | 2011-04-11 | 2014-02-12 |
| Reporter | pascal | Assigned To | Anne | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
cuoq@ns61143:/csmith-2.0.0$ gcc -I runtime s.11231600.1.s.c show_each.c
cuoq@ns61143:/csmith-2.0.0$ ./a.out
^C
cuoq@ns61143:/csmith-2.0.0$ gcc -I runtime s.11231600.1.c show_each.c
cuoq@ns61143:/csmith-2.0.0$ ./a.out
[value] Called Frama_C_show_each({4020548907; })