Add Rabinizer LTL-to-automaton script for Windows usage.

prismmodelchecker · Jan 10, 2025 · 0e4d2a5 · 0e4d2a5
1 parent a756331
commit 0e4d2a5
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/prism/etc/scripts/hoa/hoa-rabinizer-for-prism.bat b/prism/etc/scripts/hoa/hoa-rabinizer-for-prism.bat
@@ -0,0 +1,9 @@
+@echo off
+
+rem Interface wrapper for calling Rabinizer (version 4)
+rem Invoke from PRISM with
+rem   -ltl2datool hoa-rabinizer-for-prism.bat -ltl2dasyntax rabinizer
+
+rem Expects the ltl2dra executable to be on the PATH, otherwise specify its location below
+
+ltl2dra.bat --filein "%1" --fileout="%2" --complete