hamousavi / walnut Goto Github PK

If the Main.prover class is run from a directory that is not Walnut/bin, i.e., the program is run using
java -cp /pathToWalnut/bin Main.prover from a directory that is not Walnut/bin, then files in the Word Automata Library do not load correctly. This seems to be due to the setPaths() method in the Main.UtilityMethods class. The method only handles what to do if the user's working directory is already Walnut/bin.

public static void setPaths(){
  String path = System.getProperty("user.dir");
  if(path.substring(path.length()-3).equals("bin"))
    dir = "../";
}

(Use case arose when writing a program that runs Walnut as a subprocess).

The exact lines with the issue:

Issue was discovered when adding a new number system that does not have symmetric representation restrictions for LSD and MSD first (unlike Fibonacci and Tribonacci bases).