Minor fix on the return type of Checker

kaist-plrg · Feb 23, 2024 · 7464ab9 · 7464ab9
1 parent fafe8e4
commit 7464ab9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -36,4 +36,5 @@ lib/
 
 */Makefile
 tmp/
-log/
+log/
+logs/
diff --git a/src/main/scala/fhetest/Command.scala b/src/main/scala/fhetest/Command.scala
@@ -216,7 +216,7 @@ case object CmdTest extends Command("test") {
       val outputs = Check(programs, backendList, encParams)
       for (program, output) <- outputs do {
         println("=" * 80)
-        println("Program : " + program)
+        println("Program : " + program.content)
         println("-" * 80)
         println(output)
         println("=" * 80)

diff --git a/src/main/scala/fhetest/Phase/Check.scala b/src/main/scala/fhetest/Phase/Check.scala
@@ -34,15 +34,15 @@ case object Check {
     programs: LazyList[T2Program],
     backends: List[Backend],
     encParams: EncParams,
-  ): LazyList[(String, CheckResult)] = {
+  ): LazyList[(T2Program, CheckResult)] = {
     setTestDir()
     var i = 0
     val checkResults = for {
       program <- programs
     } yield {
       val checkResult = getAndWriteResult(i, program, backends, encParams)
       i = i + 1
-      (program.content, checkResult)
+      (program, checkResult)
     }
     checkResults
   }