News: Markus Triska earned his PhD with his clp(fd) implementationSearch Documentation:
SWI-Prolog owl logoPacks (add-ons) for SWI-Prolog

Package "quickcheck"

Title:QuickCheck randomized testing
Rating:Not rated. Create the first rating!
Latest version:0.0.3
SHA1 sum:03820d6d8f7b29798d443d90b8a080508a88f92a
Author:Michael Hendricks <michael@ndrix.org>
Maintainer:Michael Hendricks <michael@ndrix.org>
Packager:Michael Hendricks <michael@ndrix.org>
Home page:http://packs.ndrix.com/quickcheck/index.html
Download URL:http://packs.ndrix.com/quickcheck/quickcheck-0.0.3.tgz

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
0.0.1be8e81e38aa726848d368916e6eb386f62a808041http://packs.ndrix.com/quickcheck/quickcheck-0.0.1.tgz
0.0.2d508afe81204f4438eaad6f79ec7da7d2da2b5f011http://packs.ndrix.com/quickcheck/quickcheck-0.0.2.tgz
0.0.303820d6d8f7b29798d443d90b8a080508a88f92a7http://packs.ndrix.com/quickcheck/quickcheck-0.0.3.tgz

Synopsis

:- use_module(library(quickcheck)).

% reversing a list twice gives back the same list
prop_reverse_twice(L:list) :-
    reverse(L, R),
    reverse(R, L).

?- debug(quickcheck).
?- quickcheck(prop_reverse_twice/1).
% 100 tests OK
true.

Description

Randomized testing of program properties in the spirit of QuickCheck. Describe properties of your predicates and let library(quickheck) generate test cases for you.

A detailed tutorial is available.

Changes in this Version

  • Initial public release

Installation

Using SWI-Prolog 6.3 or later:

?- pack_install(quickcheck).

This module uses semantic versioning.

Source code available and pull requests accepted at http://github.com/mndrix/quickcheck

author
- Michael Hendricks <michael@ndrix.org>
license
- BSD

Contents of pack "quickcheck"

Pack contains 7 files holding a total of 10.5K bytes.