From d75088a23130cf9294bda43efc9b40f67d832b43 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Fri, 29 Nov 2024 13:04:21 +0100 Subject: [PATCH] for the students: by default, don't run the solution (not part of this repo) --- StartingPoint/runner_gui.py | 4 ++-- StartingPoint/runner_tests.py | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/StartingPoint/runner_gui.py b/StartingPoint/runner_gui.py index 46f1bb9..b6faec1 100644 --- a/StartingPoint/runner_gui.py +++ b/StartingPoint/runner_gui.py @@ -4,8 +4,8 @@ import sys # load generated Statechart code from srcgen.water_level_simulator import WaterLevelSimulator -# from srcgen.lock_controller import LockController -from srcgen.solution import Solution as LockController # Teacher's solution +from srcgen.lock_controller import LockController +# from srcgen.solution import Solution as LockController # Teacher's solution from lib.yakindu.rx import Observer from lib.controller import Controller, pretty_time diff --git a/StartingPoint/runner_tests.py b/StartingPoint/runner_tests.py index 1b7f00e..e466c8c 100644 --- a/StartingPoint/runner_tests.py +++ b/StartingPoint/runner_tests.py @@ -1,8 +1,8 @@ import functools from lib.test import run_scenarios -# from srcgen.lock_controller import LockController -from srcgen.solution import Solution as LockController # Teacher's solution +from srcgen.lock_controller import LockController +# from srcgen.solution import Solution as LockController # Teacher's solution # For each test scenario, sends a sequence of timed input events to the statechart, and checks if the expected sequence of timed output events occurs.