HalfAdder test setup