Skip to content

Commit 17d96d7

Browse files
committed
Move big-int unit test to unit/ folder and make it a CATCH-style test
1 parent b0d1a47 commit 17d96d7

File tree

10 files changed

+1397
-1517
lines changed

10 files changed

+1397
-1517
lines changed

.gitignore

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -109,8 +109,6 @@ src/goto-diff/goto-diff
109109
src/goto-diff/goto-diff.exe
110110
src/clobber/clobber
111111
src/clobber/clobber.exe
112-
src/big-int/test-bigint
113-
src/big-int/test-bigint.exe
114112
jbmc/src/janalyzer/janalyzer
115113
jbmc/src/janalyzer/janalyzer.exe
116114
jbmc/src/jdiff/jdiff

CMakeLists.txt

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,6 @@ set_target_properties(
7070
linking
7171
pointer-analysis
7272
solvers
73-
test-bigint
7473
testing-utils
7574
unit
7675
util

src/big-int/CMakeLists.txt

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
set(SRC bigint-func.cc bigint.cc)
22

3-
add_executable(test-bigint ${SRC} bigint-test.cc)
43
add_library(big-int ${SRC})
54

65
generic_includes(big-int)

src/big-int/bigint-test.cc

Lines changed: 0 additions & 370 deletions
This file was deleted.

0 commit comments

Comments
 (0)