run_output.h File Reference

#include "run_configuration.h"
#include "refusal.h"
#include "exclusive_output.h"
#include <array>
#include <cstdio>
#include <stdexcept>

Go to the source code of this file.

Classes
class	witness::RunOutput

Detailed Description

exclusive raw event and controller trace output.

Definition in file run_output.h.