Add parameterized tests for the bail flag

Author: radubahmata

app.tests.ts

@@ -149,6 +149,16 @@ describe("Command-line arguments handling", () => {
         helpMessage,
       ],
     ],
+    [
+      ["manifest path", "contract name", "seed", "bail"],
+      ["node", "app.js", "example", "counter", "--bail"],
+      [
+        red(
+          `\nInvalid type provided. Please provide the type of test to be executed. Possible values: test, invariant.`
+        ),
+        helpMessage,
+      ],
+    ],
     [
       ["manifest path", "contract name", "seed"],
       ["node", "app.js", "example", "counter", "--seed=123"],
@@ -225,6 +235,16 @@ describe("Command-line arguments handling", () => {
         `\nStarting invariant testing type for the counter contract...\n`,
       ],
     ],
+    [
+      ["manifest path", "contract name", "type=invariant", "bail"],
+      ["node", "app.js", "example", "counter", "invariant", "--bail"],
+      [
+        `Using manifest path: example/Clarinet.toml`,
+        `Target contract: counter`,
+        `Bailing on first failure.`,
+        `\nStarting invariant testing type for the counter contract...\n`,
+      ],
+    ],
     [
       ["manifest path", "contract name", "type=invariant", "dialers file path"],
       [
@@ -260,6 +280,16 @@ describe("Command-line arguments handling", () => {
         `\nStarting property testing type for the counter contract...\n`,
       ],
     ],
+    [
+      ["manifest path", "contract name", "type=test", "bail"],
+      ["node", "app.js", "example", "counter", "test", "--bail"],
+      [
+        `Using manifest path: example/Clarinet.toml`,
+        `Target contract: counter`,
+        `Bailing on first failure.`,
+        `\nStarting property testing type for the counter contract...\n`,
+      ],
+    ],
     [
       ["manifest path", "contract name", "type=invariant", "seed", "path"],
       [
@@ -386,6 +416,68 @@ describe("Command-line arguments handling", () => {
         `\nStarting property testing type for the counter contract...\n`,
       ],
     ],
+    [
+      [
+        "manifest path",
+        "contract name",
+        "type=test",
+        "seed",
+        "path",
+        "runs",
+        "bail",
+      ],
+      [
+        "node",
+        "app.js",
+        "example",
+        "counter",
+        "test",
+        "--seed=123",
+        "--path=84:0",
+        "--runs=10",
+        "--bail",
+      ],
+      [
+        `Using manifest path: example/Clarinet.toml`,
+        `Target contract: counter`,
+        `Using seed: 123`,
+        `Using path: 84:0`,
+        `Using runs: 10`,
+        `Bailing on first failure.`,
+        `\nStarting property testing type for the counter contract...\n`,
+      ],
+    ],
+    [
+      [
+        "manifest path",
+        "contract name",
+        "type=invariant",
+        "seed",
+        "path",
+        "runs",
+        "bail",
+      ],
+      [
+        "node",
+        "app.js",
+        "example",
+        "counter",
+        "invariant",
+        "--seed=123",
+        "--path=84:0",
+        "--runs=10",
+        "--bail",
+      ],
+      [
+        `Using manifest path: example/Clarinet.toml`,
+        `Target contract: counter`,
+        `Using seed: 123`,
+        `Using path: 84:0`,
+        `Using runs: 10`,
+        `Bailing on first failure.`,
+        `\nStarting invariant testing type for the counter contract...\n`,
+      ],
+    ],
   ])(
     "logs the correct values when arguments %p are provided",
     async (_testCase: string[], argv: string[], expectedLogs: string[]) => {