texec An executor for generated testcases with elapsed time information. Using Only start the script using a Python distribution. python3 ./texec.py