erlang/otp — pull request #465 by tuncer (2014-09-03 12:57:36+00:00)
Title: ct_property_test: add Triq support

Also, ensure that the right module's counterexample/0 is called.