Fix executor (try-catch the error from execution) and generator

src/main/scala/fhetest/Phase/Execute.scala

@@ -21,6 +21,11 @@ case object Execute {
       Process(executeCommand, new File(binPath))
     cmakeProcess.!(silentLogger)
     makeProcess.!(silentLogger)
-    executeProcess.!!
+    try {
+      val executeResult = executeProcess.!!
+      executeResult // 성공적으로 완료된 경우, 결과 반환
+    } catch {
+      case e: Exception => s"Execution failed: ${e.getMessage}"
+    }
   }
 }

src/main/scala/fhetest/Phase/Generate.scala

@@ -41,7 +41,16 @@ case object Generate {
             backend,
             { workspaceDir =>
               given DirName = workspaceDir
-              Print(ast, symbolTable, encType, backend)
+              val mulDepth = getMulDepth(concretized)
+              // Default RingDim, PlainModulus with MulDepth
+              val encParams = EncParams(32768, mulDepth, 65537)
+              Print(
+                ast,
+                symbolTable,
+                encType,
+                backend,
+                encParamsOpt = Some(encParams),
+              )
               val result = Execute(backend)
               print(backend.toString + " : " + result)
             },
@@ -51,26 +60,30 @@ case object Generate {
       }
     }
 
+  // TODO: current length = 100, it can be changed to larger value
   def concretizeTemplate(template: Templete): Templete =
-    return assignRandIntValues(template, 100)
+    return assignRandIntValues(template, 100, 100)
 
-  // FIXME: This is just a temporary solution for making symbolTable and encType available
+  // TODO: This is just a temporary solution for making symbolTable and encType available
   val (_: Goal, symbolTable, encType) =
     val baseStr = """
         int main(void) {
           EncInt x, y;
+          int c;
           print (x);
           return 0;
         }
       """
     val baseStream = new ByteArrayInputStream(baseStr.getBytes("UTF-8"))
     Parse(baseStream)
 
+  // TODO: current print only 10 values, it can be changed to larger value
   def createNewBaseTemplate(): Goal = {
     val baseStr = """
     int main(void) {
       EncInt x, y;
-      print_batched (x, 5);
+      int c;
+      print_batched (x, 10);
       return 0;
     }
   """
@@ -87,22 +100,25 @@ case object Generate {
     template: Templete,
     vxs: List[Int],
     vys: List[Int],
+    vc: Int,
   ): Templete =
-    val assignments = List(AssignVec("x", vxs), AssignVec("y", vys))
+    val assignments =
+      List(AssignVec("x", vxs), AssignVec("y", vys), Assign("c", vc))
     return assignments ++ template
 
   def assignRandIntValue(template: Templete, bound: Int): Templete =
     val vx = Random.between(0, bound)
     val vy = Random.between(0, bound)
     return assignIntValue(template, vx, vy)
 
-  // current length = 5
-  // TODO : Currently, it only supports the length of 5
-  // TODO : Currently, T2 DSL does not support negative numbers
-  def assignRandIntValues(template: Templete, bound: Int): Templete =
-    val vxs = List.fill(5)(Random.between(0, bound))
-    val vys = List.fill(5)(Random.between(0, bound))
-    return assignIntValues(template, vxs, vys)
+  // TODO: Currently, T2 DSL does not support negative numbers
+  def assignRandIntValues(template: Templete, len: Int, bound: Int): Templete =
+    val l = Random.between(1, len)
+    val vxs = List.fill(l)(Random.between(0, bound))
+    val vys = List.fill(l)(Random.between(0, bound))
+    // TODO: Currently, c is bounded by 10. It can be changed to larger value
+    val vc = Random.between(0, 10)
+    return assignIntValues(template, vxs, vys, vc)
 
   def parseStmt(stmtStr: String): Statement =
     val input_stream: InputStream = new ByteArrayInputStream(
@@ -127,11 +143,14 @@ case object Generate {
     case Add(l, r)       => "x += y;"
     case Sub(l, r)       => "x -= y;"
     case Mul(l, r)       => "x *= y;"
-    // case Rot(l, r) => "rotate_left(x, c);"
+    case Rot(l, r)       => "rotate_left(x, c);"
   def concretize(s: Stmt) = parseStmt(toString(s))
 
   type Templete = List[Stmt]
   def toString(t: Templete): String = t.map(toString).mkString("\n")
+  def getMulDepth(t: Templete): Int = t.count {
+    case Mul(_, _) => true; case _ => false
+  }
 
   def buildTemplate(temp: Templete): Goal =
     val stmts = temp.map(toString).map(parseStmt)
@@ -145,6 +164,7 @@ case object Generate {
     Add(V, V),
     Sub(V, V),
     Mul(V, V),
+    Rot(V, V),
   )
 
 // 주어진 길이에 대해 가능한 모든 템플릿을 생성하는 함수

workspace/OpenFHE/CMakeLists.txt

@@ -17,6 +17,7 @@ else()
 endif ()
 
 set(CMAKE_CXX_FLAGS ${OpenFHE_CXX_FLAGS} )
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-error")
 set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
 
 include_directories( ${OPENMP_INCLUDES} )
@@ -41,4 +42,4 @@ add_executable(test.out)
 target_sources(test.out PRIVATE
   ${CMAKE_CURRENT_LIST_DIR}/compiled/test.cpp
   ${CMAKE_CURRENT_LIST_DIR}/functional_units/functional_units.hpp
-)
+)