cprover
symex_cover.cpp File Reference

Symex Test Suite Generation. More...

#include "symex_parse_options.h"
#include <iostream>
#include <util/json_expr.h>
#include <util/xml_expr.h>
#include <goto-programs/xml_goto_trace.h>
#include <goto-programs/json_goto_trace.h>
Include dependency graph for symex_cover.cpp:

Go to the source code of this file.

Detailed Description

Symex Test Suite Generation.

Definition in file symex_cover.cpp.