minor updates

kaist-plrg · Jul 25, 2024 · 48b488b · 48b488b
1 parent cf52e9c
commit 48b488b
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 5 deletions.
diff --git a/src/main/scala/fhetest/Checker/ExceptionMsgKeyword.scala b/src/main/scala/fhetest/Checker/ExceptionMsgKeyword.scala
@@ -28,7 +28,14 @@ def mapLibConfigArgument2Keywords(
   argName: LibConfigArgumentName,
 ): Set[String] = {
   val commonKeywords =
-    Set(" parameters", "ring dimension", " ringdim", " primes", " overflow")
+    Set(
+      " parameters",
+      "ring dimension",
+      " ringdim",
+      " primes",
+      " overflow",
+      " transparent",
+    )
   val modSizeKeywords = Set(" moduli", " bit_sizes", "bit length")
   val uniqueKeywords = argName match {
     case "Scheme"  => Set("scheme")

diff --git a/src/main/scala/fhetest/Command.scala b/src/main/scala/fhetest/Command.scala
@@ -226,8 +226,7 @@ case object CmdTest extends BackendCommand("test") {
     val noFilterOpt = config.noFilterOpt
     val generator = Generate(encType, genStrategy, validFilter, noFilterOpt)
     val programs = generator(genCount)
-    // val backendList = List(Backend.SEAL, Backend.OpenFHE) // commented out for evaluation
-    val backendList = List(Backend.OpenFHE) // tmp: for evaluation
+    val backendList = List(Backend.SEAL, Backend.OpenFHE)
     val encParamsOpt = config.libConfigOpt.map(_.encParams)
     val toJson = config.toJson
     val sealVersion = config.sealVersion.getOrElse(SEAL_VERSIONS.head)

diff --git a/src/main/scala/fhetest/Generate/ValidFilter.scala b/src/main/scala/fhetest/Generate/ValidFilter.scala
@@ -380,7 +380,7 @@ object ValidFilter {
                 else if (scheme == Scheme.BFV) List(ScalingTechnique.NORESCALE)
                 else
                   List(
-                    ScalingTechnique.NORESCALE,
+                    // ScalingTechnique.NORESCALE, // v1.2.0
                     ScalingTechnique.FIXEDMANUAL,
                     ScalingTechnique.FIXEDAUTO,
                     ScalingTechnique.FLEXIBLEAUTO,

diff --git a/src/main/scala/fhetest/package.scala b/src/main/scala/fhetest/package.scala
@@ -24,4 +24,4 @@ val OPENFHE_DIR = s"$WORKSPACE_DIR/OpenFHE"
 
 val SEAL_VERSIONS = List("4.1.1", "4.1.0", "4.0.0", "3.7.3", "3.7.2")
 val OPENFHE_VERSIONS =
-  List("1.1.4", "1.1.2", "1.0.4", "1.0.3", "1.0.2", "1.0.1")
+  List("1.2.0", "1.1.4", "1.1.2", "1.0.4", "1.0.3", "1.0.2", "1.0.1")