EndComponentEliminatorTest.cpp File Reference

#include "test/storm_gtest.h"
#include "storm/transformer/EndComponentEliminator.h"

Include dependency graph for EndComponentEliminatorTest.cpp:

Go to the source code of this file.

Functions
	TEST (NeutralECRemover, SimpleModelTest)

Function Documentation

TEST()

TEST	(	NeutralECRemover	,
		SimpleModelTest
	)

Definition at line 5 of file EndComponentEliminatorTest.cpp.