CHAPTER 3.
GETTING STARTED
4,5,6 Frama-C exits on an internal error. Please report a bug report on the Bug Tracking
System (see Chapter 10);
125 Frama-C exits abnormally on an unknown error. Please report a bug report on the Bug
Tracking System (see Chapter 10).
22
