cprover
|
#include <util/ui_message.h>
Go to the source code of this file.
Functions | |
void | show_vcc (const optionst &options, ui_message_handlert &ui_message_handler, const symex_target_equationt &equation) |
Output of the verification conditions (VCCs)
Definition in file show_vcc.h.
void show_vcc | ( | const optionst & | options, |
ui_message_handlert & | ui_message_handler, | ||
const symex_target_equationt & | equation | ||
) |
Definition at line 161 of file show_vcc.cpp.