dlvhex  2.5.0
testsuite/fixtureE2M2.cpp File Reference

Implementation of testing fixtures related to sample graphs ${E}_2$ and ${M}_2$. More...

#include "fixtureE2M2.h"
#include <boost/test/unit_test.hpp>
Include dependency graph for fixtureE2M2.cpp:

Go to the source code of this file.


Detailed Description

Implementation of testing fixtures related to sample graphs ${E}_2$ and ${M}_2$.

Author:
Peter Schueller <[email protected]>

Definition in file fixtureE2M2.cpp.