Merge pull request #48 from ASSERT-KTH/47-rename-sanity-checks-to-fun…

…ctional-checks fix: functional check test name
ASSERT-KTH · Jan 20, 2025 · c5b64dc · c5b64dc
2 parents f96d9b8 + 58083aa
commit c5b64dc
Show file tree

Hide file tree

Showing 97 changed files with 717 additions and 103 deletions.
diff --git a/smartbugs-curated/0.4.x/scripts/CustomReporter.js b/smartbugs-curated/0.4.x/scripts/CustomReporter.js
@@ -53,7 +53,7 @@ class CustomReporter extends Spec {
         error: err.message,
         stack: err.stack,
       };
-      if (test.title.includes("sanity check")) {
+      if (test.title.includes("functional check")) {
         failedSanity += 1;
         failedSanityTests.push(result);
       } else {
@@ -71,7 +71,7 @@ class CustomReporter extends Spec {
         contractFile: contractFile,
         state: test.state,
       };
-      if (test.title.includes("sanity check")) {
+      if (test.title.includes("functional check")) {
         passedSanity += 1;
       } else {
         passedResults.push(result);
@@ -101,7 +101,7 @@ class CustomReporter extends Spec {
       );
       const formattedMessage3 = Base.color(
         "fail",
-        `Total failed sanity tests: ${failedSanity}/${allFiles}`,
+        `Total failed functional tests: ${failedSanity}/${allFiles}`,
       );
       // // Log the formatted message
       console.log(`${formattedMessage}`);