Frama-C Bug Tracking System

View Revisions: Note 6187 Back to Issue ]
Summary 0002226: insertion of "assert true" after a statement influences provability of the statement's contract


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker