cprover
|
Goto Verifier Interface. More...
#include <util/optional.h>
#include <util/options.h>
#include <util/ui_message.h>
#include "properties.h"
Go to the source code of this file.
Classes | |
class | goto_verifiert |
An implementation of goto_verifiert checks all properties in a goto model. More... | |
Goto Verifier Interface.
Definition in file goto_verifier.h.