search

vaibhavbsharma / java-ranger

Java Ranger is a path-merging extension of Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
13 stars 5 forks source link

Fix relative path & hard-code script path #13

Open Qiaowen-Jia opened 3 years ago

Qiaowen-Jia commented 3 years ago

Hi, Fix the following issues.

  1. Instead of using a relative path, using configure to set the path will make it possible to run it in any directories
  2. Optimize the running scripts to make anyone run them without modifying the script. This is related to my GSOC proposal Goal 2

Thanks.