https://github.com/kfl/quickcheck-c-interface

Example code demonstrating how to use QuickCheck for Erlang to test C code
https://github.com/kfl/quickcheck-c-interface

Last synced: 10 months ago
JSON representation

Example code demonstrating how to use QuickCheck for Erlang to test C code

• Host: GitHub
• URL: https://github.com/kfl/quickcheck-c-interface
• Owner: kfl
• License: mit
• Created: 2015-10-22T17:04:23.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2016-01-18T21:43:17.000Z (over 10 years ago)
• Last Synced: 2025-01-31T23:59:58.571Z (over 1 year ago)
• Language: C
• Size: 195 KB
• Stars: 4
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Quickcheck for Erlang's C interface

Example code demonstrating how to use QuickCheck for Erlang via

Quviq's [QuickCheck CI](http://quickcheck-ci.com) service to check some C code.

[](http://quickcheck-ci.com/p/kfl/quickcheck-c-interface)

## Example(s)

The `src` directory contains a number of examples. (Right now there is

only one example, but the plan is that eventually there will be more.)

* The file `bsearch.c` contains a number of implementations of binary

  search, many of them are buggy. The file `bsearch_eqc.erl` contains

  a number of properties for testing the C functions. In particular

  it shows how to use the `?SETUP` macro to compile the C file before

  calling any functions and how to use `catch` to deal with

  segmentation faults.