From d0f85313f3209c6bf91bc3e90d34bb8923694847 Mon Sep 17 00:00:00 2001 From: lukpo Date: Wed, 11 Aug 2021 11:33:46 +0200 Subject: [PATCH] added probabalisticFormula.rpatl in testfolder for rpatl for future purposes --- resources/examples/testfiles/rpatl/probabalisticFormula.rpatl | 1 + 1 file changed, 1 insertion(+) create mode 100644 resources/examples/testfiles/rpatl/probabalisticFormula.rpatl diff --git a/resources/examples/testfiles/rpatl/probabalisticFormula.rpatl b/resources/examples/testfiles/rpatl/probabalisticFormula.rpatl new file mode 100644 index 000000000..1b0eed235 --- /dev/null +++ b/resources/examples/testfiles/rpatl/probabalisticFormula.rpatl @@ -0,0 +1 @@ +<> Pmax=? [ F "goal" ] \ No newline at end of file