From 4ef7d865e52b1833bf530652bfbe4c3cd16c1ea0 Mon Sep 17 00:00:00 2001 From: Steve Date: Tue, 24 Apr 2012 20:01:19 -0300 Subject: [PATCH] typo --- jscheck.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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