From 4964af407e477ce1540a63ca083b292db8d4c87d Mon Sep 17 00:00:00 2001 From: Dhruv Makwana Date: Fri, 1 Nov 2024 15:27:59 +0000 Subject: [PATCH] Update test script In commit https://github.com/rems-project/c-tree-carver/commit/681ef7f1b60e35f8dde2d432b0f3e53ee9834848 I added the ability to specify a root function, instead of defaulting to the main function, but forgot to update the test script command to use that flag, and so some of the tests were failing. --- cpp/test/run_test.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/test/run_test.py b/cpp/test/run_test.py index 78fd662..90b4f7d 100644 --- a/cpp/test/run_test.py +++ b/cpp/test/run_test.py @@ -113,7 +113,7 @@ def __init__(self, carver): def run(self, input_rel_path): cwd = os.getcwd() - completed = subprocess.run([self.carver, input_rel_path], capture_output=True, text=True) + completed = subprocess.run([self.carver, '-r=main', input_rel_path], capture_output=True, text=True) return completed.stdout if completed.stdout != None else completed.stderr def output(self, input_rel_path):