Skip to content

Commit 9e199b4

Browse files
committed
Enable side-effect free check in CI
1 parent b657f53 commit 9e199b4

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

.cirrus.yml

+3-2
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ env:
1717
BENCH: yes
1818
ITERS: 2
1919
MAKEFLAGS: -j2
20+
CHECK_SIDE_EFFECT_FREE: yes
2021

2122
cat_logs_snippet: &CAT_LOGS
2223
always:
@@ -58,13 +59,13 @@ task:
5859
- env: {WIDEMUL: int128}
5960
- env: {WIDEMUL: int128, RECOVERY: yes, EXPERIMENTAL: yes, SCHNORRSIG: yes}
6061
- env: {WIDEMUL: int128, ECDH: yes, EXPERIMENTAL: yes, SCHNORRSIG: yes}
61-
- env: {WIDEMUL: int128, ASM: x86_64}
62+
- env: {WIDEMUL: int128, ASM: x86_64, CHECK_SIDE_EFFECT_FREE: auto}
6263
- env: {BIGNUM: no}
6364
- env: {BIGNUM: no, RECOVERY: yes, EXPERIMENTAL: yes, SCHNORRSIG: yes}
6465
- env: {BIGNUM: no, STATICPRECOMPUTATION: no}
6566
- env: {BUILD: distcheck, WITH_VALGRIND: no, CTIMETEST: no, BENCH: no}
6667
- env: {CPPFLAGS: -DDETERMINISTIC}
67-
- env: {CFLAGS: -O0, CTIMETEST: no}
68+
- env: {CFLAGS: -O0, CTIMETEST: no, CHECK_SIDE_EFFECT_FREE: no}
6869
- env:
6970
CFLAGS: "-fsanitize=undefined -fno-omit-frame-pointer"
7071
LDFLAGS: "-fsanitize=undefined -fno-omit-frame-pointer"

ci/cirrus.sh

+1
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ valgrind --version || true
1919
--enable-module-ecdh="$ECDH" --enable-module-recovery="$RECOVERY" \
2020
--enable-module-schnorrsig="$SCHNORRSIG" \
2121
--with-valgrind="$WITH_VALGRIND" \
22+
--enable-side-effect-free-check="$CHECK_SIDE_EFFECT_FREE" \
2223
--host="$HOST" $EXTRAFLAGS
2324

2425
# We have set "-j<n>" in MAKEFLAGS.

0 commit comments

Comments
 (0)