# First column is number of clock cycles, i.e. repeat the button press.
# Input columns are: s_timeset, a_ok, a_back, a_add, a_sub
# Output columns are: timeset_out, timeset_field, a_timeset_ok, a_timeset_back

# Initial state should be all zeroes
1       0 0 0 0 0       000000 00 0 0

# Start by setting the hours field
1       1 0 0 0 0       000000 00 0 0
1       1 0 0 1 0       010000 00 0 0
19      1 0 0 1 0       200000 00 0 0
1       1 0 0 0 1       190000 00 0 0
4       1 0 0 1 0       230000 00 0 0
1       1 0 0 1 0       000000 00 0 0
14      1 0 0 1 0       140000 00 0 0

# Switch field
1       1 1 0 0 0       140000 01 0 0

# Set minutes
20      1 0 0 1 0       142000 01 0 0
1       1 0 0 0 0       142000 01 0 0
1       1 0 0 0 1       141900 01 0 0

# Go back to hour field
# According to func. spec, the minutes field will reset to default value.
1       1 0 1 0 0       140000 00 0 0
1       1 0 0 0 1       130000 00 0 0

# Continue setting minutes and seconds
1       1 1 0 0 0       130000 01 0 0
37      1 0 0 1 0       133700 01 0 0
1       1 1 0 0 0       133700 10 0 0
15      1 0 0 1 0       133715 10 0 0
1       1 1 0 0 0       133715 10 1 0

# Back to idle state
1       0 0 0 0 0       000000 00 0 0

# Test cancellation of timeset
1       1 0 0 0 0       000000 00 0 0
1       1 0 1 0 0       000000 00 0 1