kframework/k — pull request #295 by dwightguth (2014-03-20 19:56:30+00:00)
Title: Refactor ktest to clean up some irregularities

I am working on a change to do something different with the options to Kompile, and in order to make that work it was necessary to make some changes to ktest. So for simplicity I broke them off into their own pull request. To summarize:

* refactored the xsd to be more modular, and changed the syntax for configuration parameters in ktest xml
* regularized use of - and -- to be a simple pass-through to the underlying process
* fix some small bugs preventing kast from being used for the java backend
* make kompile and krun run out of the working directory of the definition
* remove "=" from most parameter invocations, because the new options framework will not support it.
* uncomment and fix some test cases that were inappropriately commented out

Note I am pretty sure this won't pass all the tests yet, I am just trying to run the test suite on jenkins because it's faster.