search

CTSRD-CHERI / QuickCheckVEngine

A RISC-V TestRIG Verification Engine based on QuickCheck
BSD 2-Clause "Simplified" License
7 stars 9 forks source link

Only generate fence.i if the implementation supports it #16

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

Previously, the cache validation unconditionally generated fence.i.

arichardson commented 1 year ago

~This duplication is rather ugly, I wonder if we should just pass through has_fencei to the generator?~

arichardson commented 1 year ago

New approach that does not duplicate as much code.