Skip to content

Commit

Permalink
Fix manual runner
Browse files Browse the repository at this point in the history
  • Loading branch information
niknetniko committed Aug 14, 2023
1 parent c6f5ede commit d31ca36
Showing 1 changed file with 21 additions and 19 deletions.
40 changes: 21 additions & 19 deletions tested/manual.py
Original file line number Diff line number Diff line change
Expand Up @@ -9,32 +9,32 @@
import time
from pathlib import Path

from tested.configs import DodonaConfig
from tested.configs import DodonaConfig, Options
from tested.main import run
from tested.testsuite import ExecutionMode

exercise_dir = "/home/niko/Ontwikkeling/universal-judge/tests/exercises/echo"
exercise_dir = (
"/home/niko/Ontwikkeling/javascript-oefeningen/reeksen/07 objecten/akkoorden"
)


def read_config() -> DodonaConfig:
"""Read the configuration from stdout"""
# noinspection PyArgumentList
return DodonaConfig(
**{
"memory_limit": 536870912,
"time_limit": 60,
"programming_language": "python",
"natural_language": "nl",
"resources": Path(exercise_dir, "evaluation"),
"source": Path(exercise_dir, "solution/run-error.py"),
"judge": Path("."),
"workdir": Path("workdir"),
"test_suite": "one.tson",
"options": {
"allow_fallback": False,
"mode": "batch",
"linter": False,
},
}
memory_limit=536870912,
time_limit=60,
programming_language="javascript",
natural_language="nl",
resources=Path(exercise_dir, "evaluation"),
source=Path(exercise_dir, "solution/solution.nl.js"),
judge=Path("."),
workdir=Path("workdir"),
test_suite="suite.yaml",
options=Options(
allow_fallback=False,
mode=ExecutionMode.PRECOMPILATION,
linter=False,
),
)


Expand All @@ -52,6 +52,8 @@ def read_config() -> DodonaConfig:
# Some modules are very verbose, hide those by default.
logger = logging.getLogger("tested.judge.collector")
logger.setLevel(logging.INFO)
logger = logging.getLogger("tested.parsing")
logger.setLevel(logging.INFO)

# Create workdir if needed.
config.workdir.mkdir(exist_ok=True)
Expand Down

0 comments on commit d31ca36

Please sign in to comment.