Samples not being skipped when using "implies"

[jmindek]

I created a property test for a simple sum of max 2 function.

I am using elixir and mix version 1.4.1 installed with homebrew running on macOS Sierra.

When I run my tests I see samples that should not have been skipped were skipped and samples that should have been skipped but seem to have not been.

For example, per my implies expression on line 26 of sum-max2_test.exs, 5 should not have been skipped and 0 should have been but wasn't.

➜   mix test
..1
x0
x1
x0
x5
.11
.4
.6
.0
x1
x...

Finished in 0.08 seconds
8 tests, 0 failures

This happens to me consistently.

Am I misinterpreting the test output, what the functionality of implies is, or could this possibly be an issue with the implementation of implies?

[jmindek]

A friend pointed out to me that the x or . appearing on the next line is for the previous line. So I was simply misinterpreting the output.