Run KRE with commandline for testCase

See