Frama-C Bug Tracking System

View Revisions: Note 5930 Back to Issue ]
Summary 0001636: E-ACSL: executes "__store_block()" but never "__delete_block()"!


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker