88             assert(output.get_value() == high);  in main()
105             assert(output.get_value() == high);  in main()
146             assert(output.get_value() == high);  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()
235             assert(output.get_value() == high);  in main()
241             assert(output.get_value() == high);  in main()
266             assert(output.get_value() == high);  in main()
286             steady_signal input0(g, high);  in main()
363             assert((Sum.get_value() == high) && (CarryOUT.get_value() == low));  in main()
383             assert((Sum.get_value() == high) && (CarryOUT.get_value() == low));  in main()
402             assert((Sum.get_value() == high) && (CarryOUT.get_value() == low));  in main()
422             assert((Sum.get_value() == low) && (CarryOUT.get_value() == high));  in main()
443             assert((Sum.get_value() == low) && (CarryOUT.get_value() == high));  in main()
464             assert((Sum.get_value() == low) && (CarryOUT.get_value() == high));  in main()
486             assert((Sum.get_value() == high) && (CarryOUT.get_value() == high));  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()
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()