gnh1201/wasm-micro-runtime
1
0
Fork 0
mirror of https://github.com/bytecodealliance/wasm-micro-runtime.git synced 2026-01-12 12:26:44 +00:00
Code Issues Actions 11 Packages Projects Releases Wiki Activity

update wasm-tool smith generation parameters for improved testing (#4779)

Browse Source
This commit is contained in:
liang.he 2026-01-07 11:26:27 +08:00 committed by GitHub
parent 7ec7adce7c
commit 257d475293
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
tests/fuzz/wasm-mutator-fuzz/smith_wasm.sh
View File

@ -45,26 +45,23 @@ WASM_SHAPE=" --ensure-termination \
--export-everything true \
--fuel 7 \
--generate-custom-sections true \
--min-funcs 5 \
--min-funcs 10 \
--max-instructions 1024 \
--min-globals 10"
WASM_MVP_FEATURES=" --bulk-memory-enabled true \
TIERED_A_FEATURE=" --bulk-memory-enabled true \
--extended-const-enabled true \
--memory64-enabled true \
--multi-value-enabled true \
--reference-types-enabled true \
--simd-enabled true \
--tail-call-enabled true"
--tail-call-enabled true \
--threads-enabled true"
for i in $(seq 1 $EXPECTED_NUM)
do
# mvp
try_generate_wasm "${WASM_SHAPE} ${WASM_MVP_FEATURES}" test_mvp_$i.wasm
# other proposals
try_generate_wasm "${WASM_SHAPE} --exceptions-enabled true" test_exception_$i.wasm
try_generate_wasm "${WASM_SHAPE} --gc-enabled true" test_gc_$i.wasm
try_generate_wasm "${WASM_SHAPE} --memory64-enabled true" test_memory64_$i.wasm
try_generate_wasm "${WASM_SHAPE} --threads-enabled true" test_threads_$i.wasm
# tiered A wasm files
try_generate_wasm "${WASM_SHAPE} ${TIERED_A_FEATURE}" test_tiered_a_$i.wasm
done
printf "Done\n"