From f5a15bfb3db7846cecb9846e9f3fa0b5284736e3 Mon Sep 17 00:00:00 2001
From: Jussi Saurio <jussi.saurio@gmail.com>
Date: Wed, 10 Sep 2025 00:38:37 +0300
Subject: [PATCH] run 50% of AWS sims with faultless profile

---
 simulator-docker-runner/docker-entrypoint.simulator.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/simulator-docker-runner/docker-entrypoint.simulator.ts b/simulator-docker-runner/docker-entrypoint.simulator.ts
index 9d59c8e8b..c76506d1a 100644
--- a/simulator-docker-runner/docker-entrypoint.simulator.ts
+++ b/simulator-docker-runner/docker-entrypoint.simulator.ts
@@ -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);