83             assert(output.get_value() == low);  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()
169             assert(output.get_value() == low);  in main()
230             assert(output.get_value() == low);  in main()
246             assert(output.get_value() == low);  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()
287             steady_signal input1(g, low);  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()
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()
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()