diff options
Diffstat (limited to 'reference_model/src/verify/verify_entry.cc')
-rw-r--r-- | reference_model/src/verify/verify_entry.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/reference_model/src/verify/verify_entry.cc b/reference_model/src/verify/verify_entry.cc index 9702c36..a04c62e 100644 --- a/reference_model/src/verify/verify_entry.cc +++ b/reference_model/src/verify/verify_entry.cc @@ -46,6 +46,9 @@ bool verify(const CTensor* ref, const CTensor* refBnd, const CTensor* imp, const case VerifyMode::Relative: { return verifyRelative(ref, imp, cfg.relativeInfo); } + case VerifyMode::FpSpecial: { + return verifyFpSpecial(ref, imp); + } default: { WARNING("[Verifier] Unsupported verification mode."); break; |