release

Author: Alexander Loboda

ltl2ba/Makefile

@@ -29,7 +29,7 @@
 
 CC=clang
 CFLAGS=-O3 -DNXT
-OUTPUT=ltl2ba
+OUTPUT=ltl2ba.exe
 
 LTL2BA=	parse.o lex.o main.o trans.o buchi.o set.o \
 	mem.o rewrt.o cache.o alternating.o generalized.o

src/main/java/MainApplication.java

@@ -35,6 +35,10 @@ public static void main(String[] args) {
             VerifierService verifierService = new VerifierService(automatonService);
             Diagram diagram = diagramService.parseDiagram(modelFile);
             Automaton<Formula<String>> automaton = automatonService.createFromDiagram(diagram);
+            if(ltlScanner == null){
+                System.err.println("");
+                System.exit(1);
+            }
             while(ltlScanner.hasNextLine()){
                 String formula = ltlScanner.nextLine();
                 log.info("Considering the formula " + formula);
@@ -52,7 +56,7 @@ public static void main(String[] args) {
                 }
             }
         } catch (IOException e) {
-            // Option parser exception. Scanner never throws IOException
+            System.err.println(e.getMessage());
             System.exit(1);
         }
     }

src/main/java/service/AutomatonService.java

@@ -76,7 +76,7 @@ public Automaton<Formula<String>> createFromLtl(String ltl) {
     }
 
     public List<State> createStateListFromLtl(String ltl) {
-        String[] command = new String[]{"ltl2ba/ltl2ba", "-f", ltl};
+        String[] command = new String[]{"ltl2ba/ltl2ba.exe", "-f", ltl};
         return systemService.executeForRead(command, inputStream -> {
             try {
                 String string = StreamUtils.toString(inputStream);