1set timeout 10
2set testprefix "test-timer-correctness"
3set aborted 0
4
5spawn "./test-timer-correctness"
6
7onesimple "" "Expected output and actual output match."
8