Skip to content

Instantly share code, notes, and snippets.

@giorgiosironi
Created June 14, 2015 12:21
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save giorgiosironi/8466d58df1793692005d to your computer and use it in GitHub Desktop.
Save giorgiosironi/8466d58df1793692005d to your computer and use it in GitHub Desktop.
Results of property-based testing fromZeroBasedDayOfYear()
Time: 95 ms, Memory: 6.00Mb
There was 1 failure:
1) DateTest::testFromDayOfYearFactoryMethodRespectsDistanceBetweenDays
Days of the year 2016: 59, 0
2016-03-01T00:00:00+0000, 2016-01-01T00:00:00+0000
Failed asserting that 5184000 matches expected 5097600.
/home/giorgio/code/eris/examples/DateTest.php:53
/home/giorgio/code/eris/src/Eris/Quantifier/Evaluation.php:46
/home/giorgio/code/eris/src/Eris/Shrinker/Random.php:67
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:82
/home/giorgio/code/eris/src/Eris/Quantifier/Evaluation.php:48
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:84
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:123
/home/giorgio/code/eris/examples/DateTest.php:54
/home/giorgio/code/eris/examples/DateTest.php:54
FAILURES!
Tests: 1, Assertions: 346, Failures: 1.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment