2017-02-25 28 views

回答

1

(我是一個Frama-C開發人員。)單個提交目前無法訪問非開發人員,因此我已經修改了BTS問題。我們每6個月發佈一次Frama-C的快照版本。我們預計磷的釋放將包含這種特殊的修復,將在5月份發生。

+0

非常感謝您的澄清。 – veeco