luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Revert "Merge pull request #247 from QuantamHD/abc_unit_tests" 

This reverts commit d91a2a049a, reversing
changes made to 475c8dad8e.

(cherry picked from commit 4222921d61)
This commit is contained in:
Alan Mishchenko 2023-09-17 11:29:26 +08:00 committed by Emil J. Tywoniak
parent 745ea92718
commit cac8f99eaa
5 changed files with 0 additions and 84 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/build-posix-cmake.yml vendored
View File

@ -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"

14
CMakeLists.txt
View File

@ -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()

1
test/CMakeLists.txt
View File

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

11
test/gia/CMakeLists.txt
View File

@ -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}
)

54
test/gia/gia_test.cc
View File

@ -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