Lines Matching refs:creduce

30 - [Using `creduce` to Minimize Test Cases](#using-creduce-to-minimize-test-cases)
31   - [Getting `creduce`](#getting-creduce)
407 ## Using `creduce` to Minimize Test Cases
412 `creduce` can help reduce the test case to a minimal one that still exhibits
417 ### Getting `creduce`
419 Often, you can install `creduce` from your OS's package manager:
422 $ sudo apt install creduce
423 $ brew install creduce
427 …ctions](https://github.com/csmith-project/creduce/blob/main/INSTALL.md) for building and/or instal…
429 Running `creduce` requires two things:
436 With those two things in hand, running `creduce` looks like this:
438     $ creduce ./predicate.sh ./isolated-test-case.h
520 `creduce` is *really* helpful and can cut hundreds of thousands of lines of test
525 [More information on using `creduce`.](https://embed.cs.utah.edu/creduce/using/)