remove duplicate outdated unparserfilter class
fix npe
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
change temp dir created by kompile. concurrently running kompiles now don't use same shared root directory, so it's possible to safely remove the directory.
fix/improve wrong error handling
use old temp file name generation method. don't print temp file path.
bug fix: we need to check isDirectory(), not exists()
remove shared .k generation in maude backend