system "echo '[0] starting test true high'"

set t.in.d[0].t 1
set t.in.d[1].t 1
set t.in.d[2].t 1
set t.in.d[3].t 1
set t.in.d[4].t 1
set t.in.d[5].t 1
set t.in.d[6].t 1
set t.in.d[7].t 1
set t.in.d[8].t 1
set t.in.d[9].t 1
set t.in.d[10].t 1
set t.in.d[11].t 1
set t.in.d[12].t 1
set t.in.d[13].t 1
set t.in.d[14].t 1
set t.in.d[0].f 0
set t.in.d[1].f 0
set t.in.d[2].f 0
set t.in.d[3].f 0
set t.in.d[4].f 0
set t.in.d[5].f 0
set t.in.d[6].f 0
set t.in.d[7].f 0
set t.in.d[8].f 0
set t.in.d[9].f 0
set t.in.d[10].f 0
set t.in.d[11].f 0
set t.in.d[12].f 0
set t.in.d[13].f 0
set t.in.d[14].f 0
cycle
mode run
assert t.out 1

system "echo '[1] cleaning input'"

set t.in.d[0].t 0
set t.in.d[1].t 0
set t.in.d[2].t 0
set t.in.d[3].t 0
set t.in.d[4].t 0
set t.in.d[5].t 0
set t.in.d[6].t 0
set t.in.d[7].t 0
set t.in.d[8].t 0
set t.in.d[9].t 0
set t.in.d[10].t 0
set t.in.d[11].t 0
set t.in.d[12].t 0
set t.in.d[13].t 0
set t.in.d[14].t 0
set t.in.d[0].f 0
set t.in.d[1].f 0
set t.in.d[2].f 0
set t.in.d[3].f 0
set t.in.d[4].f 0
set t.in.d[5].f 0
set t.in.d[6].f 0
set t.in.d[7].f 0
set t.in.d[8].f 0
set t.in.d[9].f 0
set t.in.d[10].f 0
set t.in.d[11].f 0
set t.in.d[12].f 0
set t.in.d[13].f 0
set t.in.d[14].f 0
cycle
mode run
assert t.out 0

system "echo '[2] starting test false high'"

set t.in.d[0].t 0
set t.in.d[1].t 0
set t.in.d[2].t 0
set t.in.d[3].t 0
set t.in.d[4].t 0
set t.in.d[5].t 0
set t.in.d[6].t 0
set t.in.d[7].t 0
set t.in.d[8].t 0
set t.in.d[9].t 0
set t.in.d[10].t 0
set t.in.d[11].t 0
set t.in.d[12].t 0
set t.in.d[13].t 0
set t.in.d[14].t 0
set t.in.d[0].f 1
set t.in.d[1].f 1
set t.in.d[2].f 1
set t.in.d[3].f 1
set t.in.d[4].f 1
set t.in.d[5].f 1
set t.in.d[6].f 1
set t.in.d[7].f 1
set t.in.d[8].f 1
set t.in.d[9].f 1
set t.in.d[10].f 1
set t.in.d[11].f 1
set t.in.d[12].f 1
set t.in.d[13].f 1
set t.in.d[14].f 1
cycle
mode run
assert t.out 1