From c7d47ec8de0737d73395c06cd3ea5e835b2324d8 Mon Sep 17 00:00:00 2001 From: Russel Arbore <russel.jma@gmail.com> Date: Sun, 2 Feb 2025 14:51:22 -0600 Subject: [PATCH] remove xdot from schedule --- juno_samples/fork_join_tests/src/gpu.sch | 1 - 1 file changed, 1 deletion(-) diff --git a/juno_samples/fork_join_tests/src/gpu.sch b/juno_samples/fork_join_tests/src/gpu.sch index 0647d781..80f1bbc9 100644 --- a/juno_samples/fork_join_tests/src/gpu.sch +++ b/juno_samples/fork_join_tests/src/gpu.sch @@ -28,6 +28,5 @@ fixpoint panic after 20 { infer-schedules(*); } -xdot[true](*); float-collections(test2, out.test2); gcm(*); -- GitLab