Fix more seashell-cli issues

Author: kpalway

CMakeLists.txt

@@ -61,7 +61,7 @@ ELSE()
   SET(GIT_DIRTY True)
 ENDIF()
 
-set(SEASHELL_VERSION "2.5.8.1")
+set(SEASHELL_VERSION "2.5.8.2")
 if(GIT_DIRTY)
   set(GIT_COMMIT_HASH "${GIT_COMMIT_HASH}-dirty")
 endif()

src/collects/seashell-cli.rkt

@@ -81,9 +81,9 @@
     (define stdout (program-stdout pid))
     (define run-result (sync/timeout 0 (wrap-evt stdout (compose deserialize read))))
     (match run-result
-     [(and result (list pid _ (and test-res (or "timeout" "killed" "passed")) stdout stderr asan))
+     [(and result (list pid _ (and test-res (or "timeout" "killed" "passed")) stdout stderr))
       (eprintf "Program passed the test.\n")
-      (write-outputs stdout stderr asan)
+      (write-outputs stdout stderr #f)
       (exit 40)]
      [(list pid _ "error" exit-code stderr asan)
       (if (= exit-code 134)