diff --git a/shootout.prism b/shootout.prism new file mode 100644 index 0000000..494e53c --- /dev/null +++ b/shootout.prism @@ -0,0 +1,5 @@ +dtmc + +module shootout + +endmodule