Add no regression tests for commands (#355)

* Add no regression tests for commands * No regression tests not display absolute paths
dubzzz · May 12, 2019 · 8713ee8 · 8713ee8
1 parent 3a77cbc
commit 8713ee8
Show file tree

Hide file tree

Showing 5 changed files with 464 additions and 62 deletions.
diff --git a/test/e2e/NoRegression.spec.ts b/test/e2e/NoRegression.spec.ts
@@ -1,4 +1,11 @@
 import fc from '../../src/fast-check';
+import {
+  IncreaseCommand,
+  DecreaseCommand,
+  EvenCommand,
+  OddCommand,
+  CheckLessThanCommand
+} from './model/CounterCommands';
 
 const testFunc = (value: unknown) => {
   const repr = fc.stringify(value);
@@ -213,4 +220,32 @@ describe(`NoRegression`, () => {
   it('emailAddress', () => {
     expect(() => fc.assert(fc.property(fc.emailAddress(), v => testFunc(v)), settings)).toThrowErrorMatchingSnapshot();
   });
+  it('commands', () => {
+    expect(() =>
+      fc.assert(
+        fc.property(
+          fc.commands([
+            fc.nat().map(n => new IncreaseCommand(n)),
+            fc.nat().map(n => new DecreaseCommand(n)),
+            fc.constant(new EvenCommand()),
+            fc.constant(new OddCommand()),
+            fc.nat().map(n => new CheckLessThanCommand(n + 1))
+          ]),
+          cmds => {
+            const setup = () => ({
+              model: { count: 0 },
+              real: {}
+            });
+            try {
+              fc.modelRun(setup, cmds);
+              return true;
+            } catch (err) {
+              return false;
+            }
+          }
+        ),
+        settings
+      )
+    ).toThrowErrorMatchingSnapshot();
+  });
 });