Skip to content

r13521 sliced program does not terminate (csmith)

ID0000828: This issue was created automatically from Mantis Issue 828. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000828 Frama-C Plug-in > slicing public 2011-05-18 2011-10-10
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 :

Commands and results are in the attached archive.

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information