Make relaxed-comparison the default

CTSRD-CHERI / TestRIG

Testing processors with Random Instruction Generation

Other

29 stars 8 forks source link

Closed francislaus closed 6 months ago

francislaus commented 6 months ago

This PR makes relaxed comparison the default method and adds a flag that if set mandates strict comparison.