Commits

History for

Commits on Jul 15, 2026

Clarify logs when --use-reducer is applied (the log outside of the reduce directory gives the final reduced test case, while the log inside the reduce directory gives the step-by-step reduction)
$tlmorgan24$ tlmorgan24
committed
a02b149
Extend reducer to allow reducing DBMS errors (i.e. errors other than oracle logic bugs)
$tlmorgan24$ tlmorgan24
committed
7d11ca0

Commits on Apr 11, 2024

Add generic TLPWhere oracle
$malwaregarry$ malwaregarry
committed
307713a

Commits on Mar 27, 2024

[WIP] Generic NoREC oracle (#928)
$malwaregarry$ malwaregarry
authored
4e33b7e

Loading