esbmc icon indicating copy to clipboard operation
esbmc copied to clipboard

Published 20 hours ago • verified publisher icon esbmc

Push to newer Clang

Open rafaelsamenezes opened this issue 2 years ago • 5 comments

Clang 11 is becoming too old.

Shall we move towards Clang 14 (Ubuntu 22.04 LTS) or shall we go to the latest (15)?

rafaelsamenezes avatar Nov 18 '22 14:11 rafaelsamenezes