#include <gtest/gtest.h>#include <jlm/rvsdg/TestOperations.hpp>#include <jlm/rvsdg/TestType.hpp>#include <jlm/rvsdg/theta.hpp>#include <jlm/rvsdg/view.hpp>
Include dependency graph for ThetaTests.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | jlm |
| namespace | jlm::rvsdg |
Functions | |
| jlm::rvsdg::TEST (ThetaTests, TestThetaCreation) | |
| jlm::rvsdg::TEST (ThetaTests, TestThetaLoopVarRemoval) | |
| jlm::rvsdg::TEST (ThetaTests, reduceStaticallyKnownPredicate) | |
