kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

nishantjr opened this issue · comments

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.