make some methods fields to not calculate same things again and again
wip
move Proc generation to TestCase and some minor refactoring
wip
bugfix, some improvements
fix timing: parsing time should also be included
add steps to lists before running, otherwise in case of a failure they end up missing
make checkstyle happy
remove lambdas to make checkstyle happy
forgot to save pdf proc
implement posix scripts
bugfix in setKompileDirArg
bugfix, add some documentation, implement missing -kompiled check
update docs
generate reports for scripts too
remove some redundant kompile steps
bugfix: fix --skip krun
update config files for some test cases that were causing problems
fix verification tests failing because of Z3 core dump err
Merge pull request #1060 from osa1/more-parallel-ktest

More parallel ktest