fix minor

kaist-plrg · Mar 6, 2024 · 071d501 · 071d501
1 parent 000b5e7
commit 071d501
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/scala/fhetest/Generate/AbsProgram.scala b/src/main/scala/fhetest/Generate/AbsProgram.scala
@@ -25,7 +25,8 @@ case class AbsProgram(
     plainModIsPositive(encParams.plainMod) &&
     plainModEnableBatching(encParams.plainMod, encParams.ringDim) &&
     lenIsLessThanRingDim(len, encParams.ringDim, libConfig.scheme) &&
-    boundIsLessThanPowerOfModSize(bound, libConfig.firstModSize)
+    boundIsLessThanPowerOfModSize(bound, libConfig.firstModSize) &&
+    boundIsLessThanPlainMod(bound, encParams.plainMod)
 
   def stringify: String = absStmts.map(_.stringify()).mkString("")