Make seed and path copy pasteable

[paldepind]

This PR changes the error message on a failed test slightly. It looks like this:

Property failed after 1 tests
{ seed: 1530466923032, path: "1:1:0:0:0:0:0:0:1:1:3:8:8:9:11:16:20:19:19:19:19:19:22:23" }
Counterexample: [[32,32738,34]]
Shrunk 0 time(s)

The major change is that the seed and the path is now printed so that they can be easily copy-pasted into one's code as an argument to assert. Additionally, the counterexample is prefixed with the text "Counterexample" to make it easier to understand and distinguish.

[dubzzz]

Very good idea 💡

Seems like prettier is complying: you should run npm run format:fix

[paldepind]

Thank you.

I've fixed the formatting. I didn't notice Prettier was being used since the lines were so long 😅

[dubzzz]

There is one last issue in test/e2e. You can start them by using npm run e2e.

The test is:

Shadows (seed: 1530512859038)
    1) Should detect an implementation issue

This test suite - e2e - is used to confirm that the framework is able to do what it says from an user point of view:

• shrink on the minimal entry
• be biased enough to discover issues
• replay...

It runs end-to-end tests on the framework.

[coveralls]

Coverage increased (+0.3%) to 92.369% when pulling 438c5f4 on paldepind:copy-pasteable-seed into 38b0c46 on dubzzz:master.

[paldepind]

Ah. I was only running npm test. Travis is happy now 😄

[dubzzz]

Merged, thanks for the contribution ;)
Please add yourself in the contributors file