run format

jpdias · Sep 28, 2021 · 1ea7573 · 1ea7573
1 parent bee74e8
commit 1ea7573
Showing 1 changed file with 12 additions and 10 deletions.
diff --git a/test-pbt/bounded-stack_spec.js b/test-pbt/bounded-stack_spec.js
@@ -10,16 +10,18 @@ function isLessOrEqual(num1, num2) {
 }
 
 describe("bounded stack", function () {
-  jsc.property("max length is never passed", "array number", "nat", function (
-    arr,
-    nat
-  ) {
-    let boundedStack = new BoundedStack(nat);
-    arr.forEach((element) => {
-      boundedStack.push(element);
-    });
-    return isLessOrEqual(boundedStack.stack.length, nat);
-  });
+  jsc.property(
+    "max length is never passed",
+    "array number",
+    "nat",
+    function (arr, nat) {
+      let boundedStack = new BoundedStack(nat);
+      arr.forEach((element) => {
+        boundedStack.push(element);
+      });
+      return isLessOrEqual(boundedStack.stack.length, nat);
+    }
+  );
 
   jsc.property(
     "peeked element is always the last inserted",