diff --git a/.github/workflows/build-posix-cmake.yml b/.github/workflows/build-posix-cmake.yml index 50f9ef902..f8ccde47d 100644 --- a/.github/workflows/build-posix-cmake.yml +++ b/.github/workflows/build-posix-cmake.yml @@ -44,10 +44,6 @@ jobs: run: | cmake --build build - - name: Run Unit Tests - run: | - ctest --output-on-failure - - name: Test Executable run: | ./build/abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" diff --git a/CMakeLists.txt b/CMakeLists.txt index 05e6001f9..ce541b994 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -112,17 +112,3 @@ add_library(libabc-pic EXCLUDE_FROM_ALL ${ABC_SRC}) abc_properties(libabc-pic PUBLIC) set_property(TARGET libabc-pic PROPERTY POSITION_INDEPENDENT_CODE ON) set_property(TARGET libabc-pic PROPERTY OUTPUT_NAME abc-pic) - -if(NOT DEFINED ABC_SKIP_TESTS) - enable_testing() - include(FetchContent) - FetchContent_Declare( - googletest - DOWNLOAD_EXTRACT_TIMESTAMP TRUE - # Specify the commit you depend on and update it regularly. - URL "https://github.com/google/googletest/archive/refs/tags/v1.14.0.zip" - ) - FetchContent_MakeAvailable(googletest) - include(GoogleTest) - add_subdirectory(test) -endif() \ No newline at end of file diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt deleted file mode 100644 index 5a187fcac..000000000 --- a/test/CMakeLists.txt +++ /dev/null @@ -1 +0,0 @@ -add_subdirectory(gia) \ No newline at end of file diff --git a/test/gia/CMakeLists.txt b/test/gia/CMakeLists.txt deleted file mode 100644 index c9022dc8c..000000000 --- a/test/gia/CMakeLists.txt +++ /dev/null @@ -1,11 +0,0 @@ -add_executable(gia_test gia_test.cc) - -target_link_libraries(gia_test - gtest - gtest_main - libabc -) - -gtest_discover_tests(gia_test - WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR} -) \ No newline at end of file diff --git a/test/gia/gia_test.cc b/test/gia/gia_test.cc deleted file mode 100644 index a6b288f79..000000000 --- a/test/gia/gia_test.cc +++ /dev/null @@ -1,54 +0,0 @@ -#include "gtest/gtest.h" - -#include "aig/gia/gia.h" - -ABC_NAMESPACE_IMPL_START - -TEST(GiaTest, CanAllocateGiaManager) { - Gia_Man_t* aig_manager = Gia_ManStart(100); - - EXPECT_TRUE(aig_manager != nullptr); - Gia_ManStop(aig_manager); -} - -TEST(GiaTest, CanAddACi) { - Gia_Man_t* aig_manager = Gia_ManStart(100); - Gia_ManAppendCi(aig_manager); - - EXPECT_EQ(Gia_ManCiNum(aig_manager), 1); - Gia_ManStop(aig_manager); -} - -TEST(GiaTest, CanAddACo) { - Gia_Man_t* aig_manager = Gia_ManStart(100); - int input1 = Gia_ManAppendCi(aig_manager); - Gia_ManAppendCo(aig_manager, input1); - - EXPECT_EQ(Gia_ManCiNum(aig_manager), 1); - EXPECT_EQ(Gia_ManCoNum(aig_manager), 1); - Gia_ManStop(aig_manager); -} - -TEST(GiaTest, CanAddAnAndGate) { - Gia_Man_t* aig_manager = Gia_ManStart(100); - - int input1 = Gia_ManAppendCi(aig_manager); - int input2 = Gia_ManAppendCi(aig_manager); - - int and_output = Gia_ManAppendAnd(aig_manager, input1, input2); - Gia_ManAppendCo(aig_manager, and_output); - - Vec_Wrd_t* stimulus = Vec_WrdAlloc(2); - Vec_WrdPush(stimulus, /*A*/1); - Vec_WrdPush(stimulus, /*B*/1); - Vec_Wrd_t* output = Gia_ManSimPatSimOut(aig_manager, stimulus, /*fouts*/1); - - EXPECT_EQ(Gia_ManCiNum(aig_manager), 2); - EXPECT_EQ(Gia_ManCoNum(aig_manager), 1); - // A = 1, B = 1 -> A & B == 1 - EXPECT_EQ(Vec_WrdGetEntry(output, 0), 1); - Vec_WrdFree(output); - Gia_ManStop(aig_manager); -} - -ABC_NAMESPACE_IMPL_END