Enable program label speed cheat for balrob "ends"

kth-step · Nov 21, 2024 · 6819255 · 6819255
1 parent beab4b6
commit 6819255
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/examples/arm_cm0/balrob/balrob_endsScript.sml b/examples/arm_cm0/balrob/balrob_endsScript.sml
@@ -4,6 +4,8 @@ open balrob_supportLib;
 
 val _ = new_theory "balrob_ends";
 
+val _ = birs_composeLib.compose_L_speedcheat := true;
+
 val entry_name = "__clzsi2";
 val reqs = get_fun_usage entry_name;
 val locs =