wip

juicedata · May 10, 2024 · 80ba8ae · 80ba8ae
1 parent 5f39bfd
commit 80ba8ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/hypo/fs.py b/.github/scripts/hypo/fs.py
@@ -508,7 +508,7 @@ def teardown(self):
     settings.register_profile("dev", max_examples=MAX_EXAMPLE, verbosity=Verbosity.debug, 
         print_blob=True, stateful_step_count=STEP_COUNT, deadline=None, \
         report_multiple_bugs=False, 
-        phases=[Phase.reuse, Phase.generate, Phase.target, Phase.explain])
+        phases=[Phase.reuse, Phase.generate, Phase.target, Phase.shrink, Phase.explain])
     settings.register_profile("schedule", max_examples=1000, verbosity=Verbosity.debug, 
         print_blob=True, stateful_step_count=200, deadline=None, \
         report_multiple_bugs=False,