diff --git a/juno_samples/fork_join_tests/src/gpu.sch b/juno_samples/fork_join_tests/src/gpu.sch index 0647d7816cbfc98447b3ad129b5f0a3dc58e08b3..80f1bbc9e1e6ec78a6f9c77909d084b068c37aa0 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(*);