aboutsummaryrefslogtreecommitdiff
path: root/reference_model/src/verify/verify_entry.cc
diff options
context:
space:
mode:
Diffstat (limited to 'reference_model/src/verify/verify_entry.cc')
-rw-r--r--reference_model/src/verify/verify_entry.cc3
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;