From 990e78913777e39de1cfcb5e9ce20c1c22afce65 Mon Sep 17 00:00:00 2001
From: Sergiu Weisz <sergiu121@gmail.com>
Date: Mon, 10 Jul 2023 11:55:59 +0200
Subject: [PATCH] checker: Add VMchecker trace begin and end
---
checker/checker.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/checker/checker.sh b/checker/checker.sh
index 8c31627..0517a5b 100755
--- a/checker/checker.sh
+++ b/checker/checker.sh
@@ -94,11 +94,13 @@ run_test()
test_all()
{
+ echo "<VMCK_NEXT_BEGIN>"
for i in $(seq 0 "$((${#test_fun_array[@]} / 3 - 1))") ; do
run_test "$i"
done
echo -e "\nTotal: $SCORE/$TOTAL_SCORE"
+ echo "<VMCK_NEXT_END>"
}
setup
--
GitLab