Skip to content
an ObjC port of the QuickCheck unit test framework
Objective-C Makefile Ruby Cucumber
Find file
Latest commit 2765350 @aep-shoutlet aep-shoutlet infer
Failed to load latest commit information.
features rspec
.astylerc astyle
.editorconfig update editorconfig
.gitignore infer
.python-version infer
Gemfile gem
Guardfile-cucumber regex
Makefile infer
ObjCheck.h update editorconfig
ObjCheck.m update editorconfig infer
example.h update editorconfig
example.m update editorconfig
package.json editorconfig

objcheck - an ObjC port of the QuickCheck unit test framework



$ make
$ ./example
*** Failed!
+++ OK, passed 100 tests.
+++ OK, passed 100 tests.

See example.m for more information.


  • clang, such as from Xcode


E.g., `brew install infer



Ensure the example script works as expected:

$ bundle
$ cucumber
Feature: Run example tests

  Scenario: Running example tests            # features/run_example_tests.feature:3
    Given the program has finished           # features/step_definitions/steps.rb:1
    Then the output is correct for each test # features/step_definitions/steps.rb:7

1 scenario (1 passed)
2 steps (2 passed)

Spell Check

$ aspelllint

Local CI

Guard can automatically run testing when the code changes:

$ bundle
$ guard -G Guardfile-cucumber
Something went wrong with that request. Please try again.