#include <catch/catch.hpp>
#include <solvers/smt2_incremental/smt_to_smt2_string.h>

Include dependency graph for use_catch.h:

This graph shows which files directly or indirectly include this file:

Macros
#define	INCLUDED_VIA_USE_CATCH_H

#define	XFAIL "[.][!shouldfail]"
	Add to the end of test tags to mark a test that is expected to fail. More...

Functions
std::ostream &	operator<< (std::ostream &os, const irept &value)

Macro Definition Documentation

◆ INCLUDED_VIA_USE_CATCH_H

#define INCLUDED_VIA_USE_CATCH_H

Definition at line 31 of file use_catch.h.

#define XFAIL "[.][!shouldfail]"

Add to the end of test tags to mark a test that is expected to fail.

Definition at line 40 of file use_catch.h.