This repository contains the tooling to evaluate TRex against prior work, as shown in the evaluation section of the paper. For the core TRex tool itself, see the main repository. The runner is an ...