Skip to content

Commit ae7fcd9

Browse files
committed
increase frequency of disabling shared-everything
1 parent 11aca40 commit ae7fcd9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

scripts/fuzz_opt.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -147,8 +147,8 @@ def randomize_feature_opts():
147147
# code paths, and also allows all initial contents to run.
148148

149149
# The shared-everything feature is new and we want to fuzz it, but it
150-
# also currently disables fuzzing V8, so disable it half the time.
151-
if random.random() < 0.5:
150+
# also currently disables fuzzing V8, so disable it most of the time.
151+
if random.random() < 0.9:
152152
FEATURE_OPTS.append('--disable-shared-everything')
153153

154154
print('randomized feature opts:', '\n ' + '\n '.join(FEATURE_OPTS))

0 commit comments

Comments
 (0)