Fix issue in the number of shrinks

One extra shrinks was counted
dubzzz · Mar 28, 2018 · e3ecc3c · e3ecc3c
1 parent d25d233
commit e3ecc3c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/check/runner/utils/utils.ts b/src/check/runner/utils/utils.ts
@@ -63,7 +63,7 @@ class RunExecution<Ts> {
 
     private isSuccess = (): boolean => this.pathToFailure == null;
     private firstFailure = (): number => this.pathToFailure ? +this.pathToFailure.split(':')[0] : -1;
-    private numShrinks = (): number => this.pathToFailure ? this.pathToFailure.split(':').length : 0;
+    private numShrinks = (): number => this.pathToFailure ? this.pathToFailure.split(':').length -1 : 0;
 
     public toRunDetails(qParams: QualifiedParameters): RunDetails<Ts> {
         return this.isSuccess()

diff --git a/test/unit/check/runner/Runner.spec.ts b/test/unit/check/runner/Runner.spec.ts
@@ -152,7 +152,7 @@ describe('Runner', () => {
                 assert.ok(out.failed);
                 assert.equal(out.seed, seed);
                 assert.equal(out.num_runs, failurePoints[0] +1);
-                assert.equal(out.num_shrinks, failurePoints.length);
+                assert.equal(out.num_shrinks, failurePoints.length -1);
                 assert.equal(out.counterexample_path, expectedFailurePath);
             })
         ));