This is a binary for running test cases and printing report.
running by `stintc -d` or `stintc -d [key]`
