83             assert(output.get_value() == low);  in main()
88             assert(output.get_value() == high);  in main()
105             assert(output.get_value() == high);  in main()
110             assert(output.get_value() == low);  in main()
130             assert(output.get_value() == low);  in main()
135             assert(output.get_value() == low);  in main()
141             assert(output.get_value() == low);  in main()
146             assert(output.get_value() == high);  in main()
169             assert(output.get_value() == low);  in main()
174             assert(output.get_value() == high);  in main()
180             assert(output.get_value() == high);  in main()
186             assert(output.get_value() == high);  in main()
193             assert(output.get_value() == high);  in main()
199             assert(output.get_value() == high);  in main()
205             assert(output.get_value() == high);  in main()
210             assert(output.get_value() == high);  in main()
230             assert(output.get_value() == low);  in main()
235             assert(output.get_value() == high);  in main()
241             assert(output.get_value() == high);  in main()
246             assert(output.get_value() == low);  in main()
266             assert(output.get_value() == high);  in main()
271             assert(output.get_value() == low);  in main()
277             assert(output.get_value() == low);  in main()
282             assert(output.get_value() == low);  in main()
317             assert(output.get_value() == 6);  in main()
363             assert((Sum.get_value() == high) && (CarryOUT.get_value() == low));  in main()
373             assert((Sum.get_value() == low) && (CarryOUT.get_value() == low));  in main()
383             assert((Sum.get_value() == high) && (CarryOUT.get_value() == low));  in main()
392             assert((Sum.get_value() == low) && (CarryOUT.get_value() == low));  in main()
402             assert((Sum.get_value() == high) && (CarryOUT.get_value() == low));  in main()
411             assert((Sum.get_value() == low) && (CarryOUT.get_value() == low));  in main()
422             assert((Sum.get_value() == low) && (CarryOUT.get_value() == high));  in main()
432             assert((Sum.get_value() == low) && (CarryOUT.get_value() == low));  in main()
443             assert((Sum.get_value() == low) && (CarryOUT.get_value() == high));  in main()
453             assert((Sum.get_value() == low) && (CarryOUT.get_value() == low));  in main()
464             assert((Sum.get_value() == low) && (CarryOUT.get_value() == high));  in main()
474             assert((Sum.get_value() == low) && (CarryOUT.get_value() == low));  in main()
486             assert((Sum.get_value() == high) && (CarryOUT.get_value() == high));  in main()
497             assert((Sum.get_value() == low) && (CarryOUT.get_value() == low));  in main()
537             assert((Sum.get_value() == 1) && (CarryOUT.get_value() == low));  in main()
548             assert((Sum.get_value() == 1) && (CarryOUT.get_value() == low));  in main()
593             assert((Sum.get_value() == 1) && (CarryOUT.get_value() == low));  in main()
604             assert((Sum.get_value() == 1) && (CarryOUT.get_value() == low));  in main()
617             assert((Sum.get_value() == 7) && (CarryOUT.get_value() == low));  in main()
630             assert((Sum.get_value() == 7) && (CarryOUT.get_value() == low));  in main()
643             assert((Sum.get_value() == 1) && (CarryOUT.get_value() == low));  in main()
660             assert((Sum.get_value() == 0xf) && (CarryOUT.get_value() == high));  in main()
676             assert((Sum.get_value() == 0) && (CarryOUT.get_value() == high));  in main()
687             assert((Sum.get_value() == 0) && (CarryOUT.get_value() == low));  in main()
714             assert((Q.get_value() == high) && (notQ.get_value() == low));  in main()
726             assert((Q.get_value() == low) && (notQ.get_value() == high));  in main()
738             assert((Q.get_value() == high) && (notQ.get_value() == low));  in main()
750             assert((Q.get_value() == low) && (notQ.get_value() == high));  in main()
762             assert((Q.get_value() == high) && (notQ.get_value() == low));  in main()