Verified Commit 7eb7a208 authored by Tim Gymnich's avatar Tim Gymnich
Browse files

Added tests for affine relation

parent d4b24081
......@@ -160,6 +160,19 @@ target_link_libraries(normalized_conjunction_test
${LLVM_AVAILABLE_LIBS}
)
add_llvm_executable(affine_relation_test
test/affine_relation_test.cpp
${PAIN_HEADERS}
${PAIN_SOURCES}
DEPENDS
irgen
intrinsics_gen
)
target_link_libraries(affine_relation_test
${LLVM_AVAILABLE_LIBS}
)
add_llvm_executable(matrix_test
test/matrix_test.cpp
${PAIN_HEADERS}
......@@ -184,6 +197,10 @@ add_test(NAME normalizedConjunctionTest
COMMAND normalized_conjunction_test
)
add_test(NAME affineRelationTest
COMMAND affine_relation_test
)
add_test(NAME matrixTest
COMMAND matrix_test
)
......
#include <cstdio>
#include <cstdint>
#include <iostream>
#include <string>
#include <vector>
#include "../src/affine_relation.h"
using namespace std;
using namespace pcpo;
template <typename T>
class AffineRelationTest: AffineRelation<T> {
public:
};
int main() {
return true;
};
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment