diff --git a/prism/test.txt b/prism/test.txt deleted file mode 100644 index 21336883..00000000 --- a/prism/test.txt +++ /dev/null @@ -1,11 +0,0 @@ -P=? [ F d=x+x2 ]: - 0 1 -0 1.0 0.16666650772094727 -1 0.16666650772094727 0.16666650772094727 - - -P=? [ F d=x+x2+min(0,1) ]: - 0 1 -0 1.0 0.16666650772094727 -1 0.16666650772094727 0.16666650772094727 -