Skip to content

Commit e1e7d95

Browse files
committed
setup -- added conversion script
1 parent 1d7a1f9 commit e1e7d95

File tree

2 files changed

+13
-0
lines changed

2 files changed

+13
-0
lines changed

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
/build/*.o
2+
/build/test_*

convert_all.sh

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
3c -alltypes -warn-root-cause \
2+
-output-dir=out \
3+
./bn.c \
4+
tests/hand_picked.c \
5+
tests/rsa.c \
6+
tests/factorial.c \
7+
tests/load_cmp.c \
8+
tests/test_div_algo.c \
9+
tests/golden.c \
10+
tests/randomized.c \
11+
-- -Wall -Wextra -I.

0 commit comments

Comments
 (0)