--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on August 2017 ---
Hello, Is there a simple way to let Frama-C/WP generate proof obligations in âsmtlib2â format? When I use the â-wp-genâ option then only file of the form â*_Alt-Ergo.mlwâ and â*.ergoâ are generated. Thanks in advance. Jens