Method grep

tools/creduce.py:45–46

(self, text, file=None)

            self.commands.append(cmd)

    def grep(self, text, file=None):
        self.add_command("grep -q -F {} {}".format(quote(text), file or '.tmp.output'))

    def check(self, equal_zero=False, result=1):
        op = 'eq' if equal_zero else 'ne'