tests/PragmaProtect/PragmaProtect.sl - third_party/Surelog - Git at Google


          
            
              top.sv -d 0  +incdir+.  +libext+.v -writepp -filterprotected -parse