kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

ktest should look up paths relative to `config.xml` #2336

Open nishantjr opened 6 years ago

nishantjr commented 6 years ago

The current behavior is that it looks up paths relative to the current working directory. This is a pain, because we need to cd into that directory and call ktest from there when we want to run a single test.