Test the dependency graph builder (and the graph) More...

#include <boost/cstdint.hpp>
#include "dlvhex2/DependencyGraph.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/InputProvider.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/Interpretation.h"
#include <boost/test/unit_test.hpp>
#include "fixturesExt1.h"
#include "fixturesMCS.h"
#include "graphviz.h"
#include <iostream>
#include <fstream>

Include dependency graph for TestDependencyGraph.cpp:

Go to the source code of this file.

Defines
#define	BOOST_TEST_MODULE "TestDependencyGraph"
#define	LOG_REGISTRY_PROGRAM(ctx)
Functions
DLVHEX_NAMESPACE_USE	BOOST_AUTO_TEST_CASE (testDisj)
	BOOST_AUTO_TEST_CASE (testNonext)
	BOOST_FIXTURE_TEST_CASE (testExtCountReach, ProgramExt1ProgramCtxFixture)
	BOOST_FIXTURE_TEST_CASE (testMCSMedEQ, ProgramMCSMedEQProgramCtxFixture)

Detailed Description

Test the dependency graph builder (and the graph)

Author:: Peter Schueller <ps@kr.tuwien.ac.at>

Definition in file TestDependencyGraph.cpp.

Define Documentation

#define BOOST_TEST_MODULE "TestDependencyGraph"

Definition at line 46 of file TestDependencyGraph.cpp.

#define LOG_REGISTRY_PROGRAM ( ctx )

Value:

LOG(INFO,*ctx.registry()); \
    RawPrinter printer(std::cerr, ctx.registry()); \
    std::cerr << "edb = " << *ctx.edb << std::endl; \
    LOG(INFO,"idb"); \
    printer.printmany(ctx.idb,"\n"); \
    std::cerr << std::endl; \
    LOG(INFO,"idb end");

Definition at line 56 of file TestDependencyGraph.cpp.

Referenced by BOOST_AUTO_TEST_CASE(), and BOOST_FIXTURE_TEST_CASE().