Additional Unit and Integration Tests

trailofbits / differ

Detecting Inconsistencies in Feature or Function Evaluations of Requirements

GNU Affero General Public License v3.0

67 stars 4 forks source link

Closed ameily closed 1 year ago

ameily commented 1 year ago

This adds additional test coverage specifically targeting failure cases that are not hit in the current benchmark samples.