Spaces:

dongsheng
/

docker_test

Sleeping

dongsheng commited on Mar 15

Commit

00f4134

verified ·

1 Parent(s): a68416f

Update src/containerized_eval.py

Files changed (1) hide show

src/containerized_eval.py CHANGED Viewed

@@ -60,6 +60,8 @@ EVALUATORS = {
     "coq": (eval_v.eval_script, ".v"),
     "lean": (eval_lean.eval_script, ".lean"),
     "dart": (eval_dart.eval_script, ".dart"),
 }
 def eval_string_script(language, program):

     "coq": (eval_v.eval_script, ".v"),
     "lean": (eval_lean.eval_script, ".lean"),
     "dart": (eval_dart.eval_script, ".dart"),
+    "go": (eval_go.eval_script, ".go"),
+    "go_test.go": (eval_go.eval_script, "_test.go"),
 }
 def eval_string_script(language, program):