search

trailofbits / differ

Detecting Inconsistencies in Feature or Function Evaluations of Requirements
GNU Affero General Public License v3.0
67 stars 4 forks source link

Trace timeout #22

Closed ameily closed 1 year ago

ameily commented 1 year ago

This adds a new template parameter to control the maximum allowed time that a single trace has to complete execution and also defines whether a timeout is treated as a success (expected) or failure (unexpected).

Fixes #12