src/Testcases/YosysTests/misc/scripts/cover_a.ys - third_party/Surelog - Git at Google


            
            read_verilog ../top.v

            
            tee -o result.log cover -a out.txt