remove xdot

3f1067aa · rarbore2 · ef3b1cf7 · 3f1067aa
Commit 3f1067aa authored 2 weeks ago by rarbore2
--- a/juno_samples/fork_join_tests/src/cpu.sch
+++ b/juno_samples/fork_join_tests/src/cpu.sch
@@ -98,14 +98,11 @@ dce(auto.test8);
 no-memset(test9@const);

 fork-split(auto.test10);
-xdot[true](auto.test10);
 fork-fission-reduces(auto.test10);
 dce(auto.test10);
-xdot[false](auto.test10);
 dce(auto.test10);
 simplify-cfg(auto.test10);
 dce(auto.test10);
-xdot[true](auto.test10);

 fork-split(auto.test10);