some changes in filepath concat assertion
fix a bug and rename a variable for clarity
make target file path absolute to make concatenating with .. working
modified rule printing in out cell in stream.k
update documentation
refactor Proc class for junit reports
Merge branch 'junitreports'
junit report generation first try
some documentation and comments
first try for writing junit-reports to filesystem
KTEST2: bugfix: trivial one of normalize
KTEST2: bugfix: path resolution of include
KTEST: Modify OWNERS
Merge remote-tracking branch 'origin/master'
implement overrided fields in include elements, annotate some strings with source paths
Added pattern support for java backend search
Merge branch 'pattern_branch'
implement more-results and more-programs
fix a small bug in result printing, make ktest output more like old ktest
bug in junit file paths