Removed examples/alg/.
Merge branch 'master' of git://github.com/kframework/k
Do not create junit-reports file.
Removing junit-reports when starting new tests.
Do not display stacktraces.
modified the definition from examples/prog-equiv.
Merge branch 'master' of git://github.com/kframework/k
Adding more info about tests.
Merge branch 'master' of https://github.com/kframework/k
Work on ktest: display nice error messages.
Delete cink output.
commented the tests for cink/arrays in tests/config.xml
Merge branch 'master' of git://github.com/kframework/k