Commit 6a0c4126 authored by Seyed Reza Sajjadinasab's avatar Seyed Reza Sajjadinasab
Browse files

fixGetLastForOldJavaVersion

parent 7a749efa

CheckerCorrector/DBinterface/DBinterface.java

+1 −1
Original line number Diff line number Diff line
@@ -273,7 +273,7 @@ public class DBinterface { 
            }

            

            //System.out.println("\nMISS: "+cntMiss);

            if(cntMiss<3 && cntMiss>0 && !missFlag.getLast()){

            if(cntMiss<3 && cntMiss>0 && !missFlag.get(missFlag.size()-1)){

                List<State> actions = new ArrayList<>();



                for(String token: tokens){

CheckerCorrector/StateMachine/StateMachine.java

+1 −1
Original line number Diff line number Diff line
@@ -96,7 +96,7 @@ public class StateMachine{ 
        }else{

            Set<String> allPaths = new HashSet<>();

            DFS dfs = DFS.of();

            allPaths.addAll(dfs.dfs(graph, actions.get(0), actions.getLast(), actions.size()-1, 0));

            allPaths.addAll(dfs.dfs(graph, actions.get(0), actions.get(actions.size()-1), actions.size()-1, 0));

            StringFileWriter sfw = StringFileWriter.of("all_path.txt", "\n");

            for(String path: allPaths)

                sfw.appendString(path);