search

kframework / k-legacy

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

ktest: generic options for kompile, krun #28

Open grosu opened 11 years ago

grosu commented 11 years ago

Since we often test new functionalities of kompile or krun, such as a new parser, which can be activated using command line arguments to these tool, it would be nice to allow ktest to be passed these options without having to modify each test entry in the config.xml. So to have a way to list these options at the beginning of the config.xml file. Or even better, to allow them as command line arguments to ktest, so one would not even need to modify config.xml.

We already allow users to pass default values for attributes in config.xml, such as for programs, results, etc., so why not do the same for attributes such as "kompile-option" and "krun-option".

dwightguth commented 9 years ago

This issue is actually quite valuable for our ability to eventually test KORE, so I am going to assign this to the oncall user.