The source files are tut1.tv, and counter2.v or counter2.vhd. Exercise 2 is identical to exercise 1, except that counter2 contains an error; the counter wraps around after reaching 14, rather than 15.

The expected output is:

(Error) ('tut1.tv', line 48, 149 ns) 'Q': expected 'b1111; got 'b0000
(Error) ('tut1.tv', line 49, 159 ns) 'Q': expected 'b0000; got 'b0001
(Error) ('tut1.tv', line 50, 169 ns) 'Q': expected 'b0001; got 'b0010
(Error) ('tut1.tv', line 51, 179 ns) 'Q': expected 'b0010; got 'b0011
(Log) (180 ns) 18 vectors executed (14 passes, 4 fails)