kframework/k — pull request #356 by dwightguth (2014-04-10 18:17:29+00:00)
Title: add regular expression pattern matching for ktest

* Add a "regex" flag to programs that specifies that the expected output file will contain one regex per line.
* Added functionality to check regex files by asserting that all the regexes can be found in the output string.
* Demo this functionality by using it for search results in imp++ and logik