Problem with the "-main" option (#2457) · Issues · pub / frama-c