cprover
|
#include <list>
#include <memory>
#include <string>
#include <util/ui_message.h>
#include "goto_harness_generator.h"
Go to the source code of this file.
Classes | |
class | function_call_harness_generatort |
Function harness generator that for a specified goto-function generates a harness that sets up its arguments and calls it. More... | |