Skip to content

Commit

Permalink
[test/gc] Enable testing of GC on wasm target (#334)
Browse files Browse the repository at this point in the history
  • Loading branch information
titzer authored Jan 19, 2025
1 parent 1524f28 commit b151a79
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/common.bash
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ GC_LOC=$RT_LOC/gc
AENEAS_SOURCES=${AENEAS_SOURCES:=$(ls $VIRGIL_LOC/aeneas/src/*/*.v3)}
AENEAS_LOC=${AENEAS_LOC:=${VIRGIL_LOC}/aeneas/src}
V3C_HEAP_SIZE=${V3C_HEAP_SIZE:="-heap-size=500m"}
TEST_GC_WASM=${TEST_GC_WASM:=0}
TEST_GC_WASM=${TEST_GC_WASM:=1}

# Progress arguments. By default the inline (i) mode is used, while the CI sets
# it to character (c) mode
Expand Down

0 comments on commit b151a79

Please sign in to comment.