search

jeffh / Fox

Property Based Testing Library for Objective-C and Swift. QuickCheck for Apple's Platforms.
http://fox-testing.rtfd.org
Other
624 stars 30 forks source link

When would FOXPropertyStatusSkipped be used? #11

Closed modocache closed 9 years ago

modocache commented 9 years ago

Searching through the code it seems like this case is never reached. When do you anticipate Fox would use this status?

jeffh commented 9 years ago

This hasn't fully been implemented yet. But the Erlang QuickCheck allows you to exclude specific test cases (via ?IMPLIES macro). It seems to be more useful for excluding particular cases that cause a property to fail.

?IMPLIES is more flexible than custom generators in capabilities, but produces test data that gets skipped. This is similar to FOXSuchThat.

That being said, it might not be needed. It depends on if Fox would have something like ?IMPLIES. That might require changing assertions to be more exception based (instead of returning BOOLs). Which is more like the Erlang QC style.

modocache commented 9 years ago

May take some time for me to digest that, but understood! I like the drive to match the Erlang implementation, so any foundational work to that end seems great! :+1: