Skip to content

Commit

Permalink
Enable assertion
Browse files Browse the repository at this point in the history
  • Loading branch information
mewim committed Oct 17, 2024
1 parent 2683ace commit 78a1d20
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 2 deletions.
1 change: 1 addition & 0 deletions .github/workflows/ci-workflow.yml
Original file line number Diff line number Diff line change
Expand Up @@ -317,6 +317,7 @@ jobs:
WERROR: 0
TEST_JOBS: 12
NUM_THREADS: 32
CCACHE_DISABLE: 1

steps:
- uses: actions/checkout@v4
Expand Down
3 changes: 2 additions & 1 deletion CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -143,12 +143,13 @@ if(BUILD_WASM)
add_link_options(-pthread)
add_link_options(-sPTHREAD_POOL_SIZE=8)
add_compile_options(-s DISABLE_EXCEPTION_CATCHING=0)
# add_link_options(-sALLOW_MEMORY_GROWTH=1)
if(BUILD_TESTS)
add_link_options(-sINITIAL_MEMORY=3584MB) # 3.5GB
add_link_options(-sNODERAWFS=1)
add_link_options(-sASSERTIONS=1)
else()
add_link_options(-sINITIAL_MEMORY=2GB)
add_link_options(-sALLOW_MEMORY_GROWTH=1)
endif()
set(__WASM__ TRUE)
add_compile_options(-fexceptions)
Expand Down
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -169,7 +169,7 @@ rusttest: rust

wasmtest:
mkdir -p build/wasm && cd build/wasm &&\
emcmake cmake $(GENERATOR) $(FORCE_COLOR) $(SANITIZER_FLAG) $(WERROR_FLAG) $(RUNTIME_CHECK_FLAG) -DCMAKE_BUILD_TYPE=Release -DBUILD_WASM=TRUE -DBUILD_BENCHMARK=FALSE -DBUILD_TESTS=TRUE -DBUILD_SHELL=FALSE -DENABLE_WERROR=FALSE ../.. && \
emcmake cmake $(GENERATOR) $(FORCE_COLOR) $(SANITIZER_FLAG) $(WERROR_FLAG) $(RUNTIME_CHECK_FLAG) -DCMAKE_BUILD_TYPE=RelWithDebInfo -DBUILD_WASM=TRUE -DBUILD_BENCHMARK=FALSE -DBUILD_TESTS=TRUE -DBUILD_SHELL=FALSE -DENABLE_WERROR=FALSE ../.. && \
cmake --build . --config Release -j $(NUM_THREADS) &&\
cd ../.. && ctest --test-dir build/wasm/test/ --output-on-failure -j ${TEST_JOBS} --timeout 600

Expand Down

0 comments on commit 78a1d20

Please sign in to comment.