search

Consensys / corset

4 stars 10 forks source link

Improve Test Performance #126

Open DavePearce opened 1 month ago

DavePearce commented 1 month ago

At this stage the test performance is not anywhere near as fast as I would like. There are a number of approaches:

  1. (Trace Files). These are currently exported as JSON and are loaded in and parsed individually. We could either avoid this altogether, or at least only do JSON parsing once.
  2. (Compilation). Currently we are compiling the constraint set for every individual trace. This could be avoided.
  3. (Sampling). We can apply sampling if necessary to reduce the number of traces being considered.