diff --git a/jscheck.html b/jscheck.html index 066e999..b1032fd 100644 --- a/jscheck.html +++ b/jscheck.html @@ -59,7 +59,7 @@

Making a Claim

name

The name is descriptive text that will be used in making the report.

predicate

-

The predicate is a function that will return true of the claim holds. The predicate will do something with the system in question, perhaps examining its result examining the consistency of its data structures. If you are testing functions that do encoding and decoding, the predicate can assert things like

+

The predicate is a function that will return true if the claim holds. The predicate will do something with the system in question, perhaps examining its result examining the consistency of its data structures. If you are testing functions that do encoding and decoding, the predicate can assert things like

return value === decode(encode(value))

You won't need to select the value. JSCheck will generate random values for you.

specifiers