Merge pull request #247 from QuantamHD/abc_unit_tests

Adds unit testing framework to ABC

.github/workflows/build-posix-cmake.yml

@@ -40,6 +40,10 @@ 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"

CMakeLists.txt

@@ -108,3 +108,17 @@ 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()

test/CMakeLists.txt

@@ -0,0 +1 @@
+add_subdirectory(gia)

test/gia/CMakeLists.txt

@@ -0,0 +1,11 @@
+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}
+)

test/gia/gia_test.cc

@@ -0,0 +1,55 @@
+#include "gtest/gtest.h"
+
+#include "aig/gia/gia.h"
+
+namespace abc {
+
+
+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);
+}
+
+}  // namespace dpl