# fixrun-summary.txt — fix validation: libprop rebuilt from /usr/src/sys/libprop + fix.diff
# workload: race_attr (3 removers + 2 allocers, 96 keys, 400k iters) — identical to crashing baseline
fixrun.1: survived / exit=0
fixrun.2: survived / exit=0
fixrun.3: survived / exit=0
fixrun.4: survived / exit=0
fixrun.5: survived / exit=0
fixrun.6: survived / exit=0
fixrun.7: survived / exit=0
fixrun.8: survived / exit=0
fixrun.9: survived / exit=0
fixrun.10: survived / exit=0

baseline (unfixed): 11/11 runs SIGSEGV (exit=139), see run.log / run.2.log
control  (noremove, all tree ops mutex-locked): 3/3 survived

# raw guest logs:
fixrun.1.log:survived
fixrun.1.log:exit=0
fixrun.10.log:survived
fixrun.10.log:exit=0
fixrun.2.log:survived
fixrun.2.log:exit=0
fixrun.3.log:survived
fixrun.3.log:exit=0
fixrun.4.log:survived
fixrun.4.log:exit=0
fixrun.5.log:survived
fixrun.5.log:exit=0
fixrun.6.log:survived
fixrun.6.log:exit=0
fixrun.7.log:survived
fixrun.7.log:exit=0
fixrun.8.log:survived
fixrun.8.log:exit=0
fixrun.9.log:survived
fixrun.9.log:exit=0