Fix duplicated interpretation in Checker

kaist-plrg · Mar 5, 2024 · c3c44ac · c3c44ac
1 parent 85ed61c
commit c3c44ac
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/main/scala/fhetest/Phase/Check.scala b/src/main/scala/fhetest/Phase/Check.scala
@@ -65,7 +65,15 @@ case object Check {
       overflowBound = program.libConfig.firstModSize
       if !validCheck || notOverflow(interpResult, overflowBound)
     } yield {
-      val checkResult = apply(program, backends, encParams)
+      val encType = parsed._3
+      val interpResPair = BackendResultPair("CLEAR", interpResult)
+      val executeResPairs = backends.map(backend =>
+        BackendResultPair(
+          backend.toString,
+          execute(backend, encParams, parsed),
+        ),
+      )
+      val checkResult = diffResults(interpResPair, executeResPairs, encType, encParams.plainMod)
       if (toJson)
         dumpResult(program, i, checkResult, sealVersion, openfheVersion)
       (program, checkResult)