diff --git a/test/sierpinski/some_session b/test/sierpinski/some_session new file mode 100644 index 0000000000000000000000000000000000000000..96b69b572b2550b34d05923df7442cd926d536d3 --- /dev/null +++ b/test/sierpinski/some_session @@ -0,0 +1,7 @@ +n +n +n +n +wait 3 +print_event !e;; +