tests/aiger/notcnt1e.aig - third_party/yosys - Git at Google


            
            aig 5 1 1 0 3 1

            
            10

            
            5

            
            i0 pi0

            
            b0 AIGER_NEVER