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


            
            aig 1 0 1 0 0 1

            
            3

            
            3

            
            b0 AIGER_NEVER