run 50% of AWS sims with faultless profile

This commit is contained in:
Jussi Saurio
2025-09-10 00:38:37 +03:00
parent 23c55eab6c
commit f5a15bfb3d

View File

@@ -171,10 +171,16 @@ while (new Date().getTime() - startTime.getTime() < TIME_LIMIT_MINUTES * 60 * 10
args.push('--seed', seed);
// Bugbase wants to have .git available, so we disable it
args.push("--disable-bugbase");
if (Math.random() < 0.5) {
args.push("--profile", "faultless");
}
args.push(...["--minimum-tests", "100", "--maximum-tests", "1000"]);
const loop = args.includes("loop") ? [] : ["loop", "-n", "10", "--short-circuit"]
args.push(...loop);
console.log(`[${timestamp}]: Running "limbo_sim ${args.join(" ")}" - (seed ${seed}, run number ${runNumber})`);
const issuePosted = await run(seed, "limbo_sim", args);