RubyGems - rushcheck - Versions diffs - 0.2 → 0.3 - Mend

rushcheck 0.2 → 0.3

Files changed (99) hide show

data/data/rushcheck/rdoc/classes/TrueClass.src/M000073.html CHANGED Viewed

@@ -5,14 +5,14 @@
 <html>
 <head>
-  <title>coarbitrary (TrueClass)</title>
+  <title>bound (TrueClass)</title>
   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
   <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
 </head>
 <body class="standalone-code">
-  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 37</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
-    <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 33</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
+    [<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-ivar">@@max_bound</span>]
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/TrueClass.src/M000074.html CHANGED Viewed

@@ -5,14 +5,14 @@
 <html>
 <head>
-  <title>property (TrueClass)</title>
+  <title>coarbitrary (TrueClass)</title>
   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
   <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
 </head>
 <body class="standalone-code">
-  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 41</span>
-  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
-    <span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">self</span>).<span class="ruby-identifier">result</span>
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 37</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+    <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
   <span class="ruby-keyword kw">end</span></pre>
 </body>
 </html>

data/data/rushcheck/rdoc/classes/TrueClass.src/M000075.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>property (TrueClass)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 41</span>
+  <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+    <span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">self</span>).<span class="ruby-identifier">result</span>
+  <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/created.rid CHANGED Viewed

	@@ -1 +1 @@
1	- ~~Tue~~ Aug 08 05:09:19 JST 2006
1	+ Thu Aug 10 00:07:58 JST 2006

data/data/rushcheck/rdoc/files/rushcheck/array_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Wed Aug 09 03:29:41 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Tue Aug 08 17:24:57 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/config_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Tue Aug 08 18:29:29 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Wed Aug 09 14:42:20 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -79,6 +79,13 @@ also the Haskell implementation.
     </div>
+    <div id="requires-list">
+      <h3 class="section-bar">Required files</h3>
+      <div class="name-list">
+      <a href="gen_rb.html">rushcheck/gen</a>&nbsp;&nbsp;
+      </div>
+    </div>
    </div>

data/data/rushcheck/rdoc/files/rushcheck/rushcheck_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Wed Aug 09 02:07:57 JST 2006</td>
     </tr>
     </table>
   </div>
@@ -81,6 +81,11 @@ RushCheck for random testing.
       <h3 class="section-bar">Required files</h3>
       <div class="name-list">
+      <a href="arbitrary_rb.html">rushcheck/arbitrary</a>&nbsp;&nbsp;
+      <a href="assertion_rb.html">rushcheck/assertion</a>&nbsp;&nbsp;
+      <a href="gen_rb.html">rushcheck/gen</a>&nbsp;&nbsp;
+      <a href="random_rb.html">rushcheck/random</a>&nbsp;&nbsp;
+      <a href="testable_rb.html">rushcheck/testable</a>&nbsp;&nbsp;
       <a href="array_rb.html">rushcheck/array</a>&nbsp;&nbsp;
       <a href="bool_rb.html">rushcheck/bool</a>&nbsp;&nbsp;
       <a href="hash_rb.html">rushcheck/hash</a>&nbsp;&nbsp;
@@ -88,7 +93,6 @@ RushCheck for random testing.
       <a href="float_rb.html">rushcheck/float</a>&nbsp;&nbsp;
       <a href="proc_rb.html">rushcheck/proc</a>&nbsp;&nbsp;
       <a href="string_rb.html">rushcheck/string</a>&nbsp;&nbsp;
-      <a href="assertion_rb.html">rushcheck/assertion</a>&nbsp;&nbsp;
       </div>
     </div>

data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html CHANGED Viewed

@@ -56,7 +56,7 @@
     </tr>
     <tr class="top-aligned-row">
       <td><strong>Last Update:</strong></td>
-      <td>Tue Aug 08 05:09:18 JST 2006</td>
+      <td>Wed Aug 09 02:42:54 JST 2006</td>
     </tr>
     </table>
   </div>

data/data/rushcheck/rdoc/fr_method_index.html CHANGED Viewed

@@ -20,101 +20,102 @@
 <div id="index">
   <h1 class="section-bar">Methods</h1>
   <div id="index-entries">
+    <a href="classes/RandomHash.html#M000046">arbitrary (RandomHash)</a><br />
+    <a href="classes/Float.html#M000048">arbitrary (Float)</a><br />
     <a href="classes/RandomArray.html#M000022">arbitrary (RandomArray)</a><br />
-    <a href="classes/Float.html#M000047">arbitrary (Float)</a><br />
-    <a href="classes/SpecialString.html#M000017">arbitrary (SpecialString)</a><br />
-    <a href="classes/RandomHash.html#M000045">arbitrary (RandomHash)</a><br />
-    <a href="classes/Arbitrary.html#M000075">arbitrary (Arbitrary)</a><br />
-    <a href="classes/String.html#M000066">arbitrary (String)</a><br />
+    <a href="classes/RandomBool.html#M000080">arbitrary (RandomBool)</a><br />
+    <a href="classes/Arbitrary.html#M000076">arbitrary (Arbitrary)</a><br />
+    <a href="classes/RandomProc.html#M000057">arbitrary (RandomProc)</a><br />
     <a href="classes/Integer.html#M000007">arbitrary (Integer)</a><br />
-    <a href="classes/RandomBool.html#M000079">arbitrary (RandomBool)</a><br />
-    <a href="classes/NilClass.html#M000059">arbitrary (NilClass)</a><br />
-    <a href="classes/RandomProc.html#M000056">arbitrary (RandomProc)</a><br />
-    <a href="classes/Gen.html#M000037">bind (Gen)</a><br />
-    <a href="classes/Float.html#M000048">bound (Float)</a><br />
-    <a href="classes/String.html#M000067">bound (String)</a><br />
+    <a href="classes/SpecialString.html#M000017">arbitrary (SpecialString)</a><br />
+    <a href="classes/String.html#M000067">arbitrary (String)</a><br />
+    <a href="classes/NilClass.html#M000060">arbitrary (NilClass)</a><br />
+    <a href="classes/Gen.html#M000038">bind (Gen)</a><br />
+    <a href="classes/TrueClass.html#M000073">bound (TrueClass)</a><br />
+    <a href="classes/String.html#M000068">bound (String)</a><br />
+    <a href="classes/Float.html#M000049">bound (Float)</a><br />
     <a href="classes/FalseClass.html#M000018">bound (FalseClass)</a><br />
     <a href="classes/Integer.html#M000006">bound (Integer)</a><br />
-    <a href="classes/TrueClass.html#M000072">bound (TrueClass)</a><br />
-    <a href="classes/Testable.html#M000085">check (Testable)</a><br />
+    <a href="classes/Testable.html#M000086">check (Testable)</a><br />
     <a href="classes/Gen.html#M000026">choose (Gen)</a><br />
-    <a href="classes/Testable.html#M000088">classify (Testable)</a><br />
-    <a href="classes/Coarbitrary.html#M000095">coarbitrary (Coarbitrary)</a><br />
-    <a href="classes/FalseClass.html#M000019">coarbitrary (FalseClass)</a><br />
-    <a href="classes/String.html#M000069">coarbitrary (String)</a><br />
+    <a href="classes/Testable.html#M000089">classify (Testable)</a><br />
     <a href="classes/RandomArray.html#M000023">coarbitrary (RandomArray)</a><br />
-    <a href="classes/TrueClass.html#M000073">coarbitrary (TrueClass)</a><br />
-    <a href="classes/RandomHash.html#M000046">coarbitrary (RandomHash)</a><br />
+    <a href="classes/Float.html#M000051">coarbitrary (Float)</a><br />
+    <a href="classes/TrueClass.html#M000074">coarbitrary (TrueClass)</a><br />
     <a href="classes/Integer.html#M000009">coarbitrary (Integer)</a><br />
-    <a href="classes/Float.html#M000050">coarbitrary (Float)</a><br />
-    <a href="classes/RandomProc.html#M000057">coarbitrary (RandomProc)</a><br />
-    <a href="classes/NilClass.html#M000060">coarbitrary (NilClass)</a><br />
-    <a href="classes/Testable.html#M000091">collect (Testable)</a><br />
+    <a href="classes/NilClass.html#M000061">coarbitrary (NilClass)</a><br />
+    <a href="classes/FalseClass.html#M000019">coarbitrary (FalseClass)</a><br />
+    <a href="classes/RandomProc.html#M000058">coarbitrary (RandomProc)</a><br />
+    <a href="classes/RandomHash.html#M000047">coarbitrary (RandomHash)</a><br />
+    <a href="classes/String.html#M000070">coarbitrary (String)</a><br />
+    <a href="classes/Coarbitrary.html#M000096">coarbitrary (Coarbitrary)</a><br />
+    <a href="classes/Testable.html#M000092">collect (Testable)</a><br />
+    <a href="classes/Gen.html#M000027">create (Gen)</a><br />
     <a href="classes/RushCheckConfig.html#M000004">done (RushCheckConfig)</a><br />
-    <a href="classes/Gen.html#M000027">elements (Gen)</a><br />
-    <a href="classes/Gen.html#M000039">fmap (Gen)</a><br />
-    <a href="classes/Gen.html#M000040">forall (Gen)</a><br />
-    <a href="classes/Gen.html#M000028">frequency (Gen)</a><br />
-    <a href="classes/TheStdGen.html#M000063">gen_next (TheStdGen)</a><br />
-    <a href="classes/RandomGen.html#M000076">gen_next (RandomGen)</a><br />
+    <a href="classes/Gen.html#M000028">elements (Gen)</a><br />
+    <a href="classes/Gen.html#M000040">fmap (Gen)</a><br />
+    <a href="classes/Gen.html#M000041">forall (Gen)</a><br />
+    <a href="classes/Gen.html#M000029">frequency (Gen)</a><br />
+    <a href="classes/TheStdGen.html#M000064">gen_next (TheStdGen)</a><br />
     <a href="classes/StdGen.html#M000011">gen_next (StdGen)</a><br />
-    <a href="classes/RandomGen.html#M000078">gen_range (RandomGen)</a><br />
-    <a href="classes/TheStdGen.html#M000065">gen_range (TheStdGen)</a><br />
+    <a href="classes/RandomGen.html#M000077">gen_next (RandomGen)</a><br />
+    <a href="classes/TheStdGen.html#M000066">gen_range (TheStdGen)</a><br />
     <a href="classes/StdGen.html#M000013">gen_range (StdGen)</a><br />
-    <a href="classes/Gen.html#M000041">generate (Gen)</a><br />
+    <a href="classes/RandomGen.html#M000079">gen_range (RandomGen)</a><br />
+    <a href="classes/Gen.html#M000042">generate (Gen)</a><br />
     <a href="classes/Guard.html#M000025">guard (Guard)</a><br />
     <a href="classes/Guard.html#M000024">guard_raise (Guard)</a><br />
-    <a href="classes/Testable.html#M000089">imply (Testable)</a><br />
-    <a href="classes/Testable.html#M000090">label (Testable)</a><br />
-    <a href="classes/Gen.html#M000029">lift_array (Gen)</a><br />
-    <a href="classes/Gen.html#M000036">new (Gen)</a><br />
-    <a href="classes/TheStdGen.html#M000062">new (TheStdGen)</a><br />
-    <a href="classes/RushCheckConfig.html#M000003">new (RushCheckConfig)</a><br />
-    <a href="classes/Assertion.html#M000015">new (Assertion)</a><br />
-    <a href="classes/Property.html#M000070">new (Property)</a><br />
+    <a href="classes/Testable.html#M000090">imply (Testable)</a><br />
+    <a href="classes/Testable.html#M000091">label (Testable)</a><br />
+    <a href="classes/Gen.html#M000030">lift_array (Gen)</a><br />
     <a href="classes/StdGen.html#M000010">new (StdGen)</a><br />
-    <a href="classes/Result.html#M000052">new (Result)</a><br />
-    <a href="classes/Result.html#M000051">nothing (Result)</a><br />
-    <a href="classes/Gen.html#M000030">oneof (Gen)</a><br />
-    <a href="classes/Gen.html#M000031">promote (Gen)</a><br />
-    <a href="classes/NilClass.html#M000061">property (NilClass)</a><br />
-    <a href="classes/Property.html#M000071">property (Property)</a><br />
-    <a href="classes/Result.html#M000054">property (Result)</a><br />
-    <a href="classes/RandomProc.html#M000058">property (RandomProc)</a><br />
-    <a href="classes/Testable.html#M000084">property (Testable)</a><br />
-    <a href="classes/Assertion.html#M000016">property (Assertion)</a><br />
+    <a href="classes/Gen.html#M000037">new (Gen)</a><br />
+    <a href="classes/TheStdGen.html#M000063">new (TheStdGen)</a><br />
+    <a href="classes/Assertion.html#M000015">new (Assertion)</a><br />
+    <a href="classes/Result.html#M000053">new (Result)</a><br />
+    <a href="classes/RushCheckConfig.html#M000003">new (RushCheckConfig)</a><br />
+    <a href="classes/Property.html#M000071">new (Property)</a><br />
+    <a href="classes/Result.html#M000052">nothing (Result)</a><br />
+    <a href="classes/Gen.html#M000031">oneof (Gen)</a><br />
+    <a href="classes/Gen.html#M000032">promote (Gen)</a><br />
+    <a href="classes/TrueClass.html#M000075">property (TrueClass)</a><br />
+    <a href="classes/Testable.html#M000085">property (Testable)</a><br />
+    <a href="classes/RandomProc.html#M000059">property (RandomProc)</a><br />
+    <a href="classes/NilClass.html#M000062">property (NilClass)</a><br />
+    <a href="classes/Result.html#M000055">property (Result)</a><br />
     <a href="classes/FalseClass.html#M000020">property (FalseClass)</a><br />
-    <a href="classes/TrueClass.html#M000074">property (TrueClass)</a><br />
+    <a href="classes/Property.html#M000072">property (Property)</a><br />
+    <a href="classes/Assertion.html#M000016">property (Assertion)</a><br />
     <a href="classes/RushCheckConfig.html#M000001">quick (RushCheckConfig)</a><br />
-    <a href="classes/Testable.html#M000086">quick_check (Testable)</a><br />
-    <a href="classes/Testable.html#M000087">quickcheck (Testable)</a><br />
-    <a href="classes/Gen.html#M000032">rand (Gen)</a><br />
-    <a href="classes/HsRandom.html#M000081">random (HsRandom)</a><br />
-    <a href="classes/HsRandom.html#M000082">random_array (HsRandom)</a><br />
+    <a href="classes/Testable.html#M000087">quick_check (Testable)</a><br />
+    <a href="classes/Testable.html#M000088">quickcheck (Testable)</a><br />
+    <a href="classes/Gen.html#M000033">rand (Gen)</a><br />
+    <a href="classes/HsRandom.html#M000082">random (HsRandom)</a><br />
+    <a href="classes/HsRandom.html#M000083">random_array (HsRandom)</a><br />
+    <a href="classes/RandomBool.html#M000081">random_range (RandomBool)</a><br />
     <a href="classes/Integer.html#M000008">random_range (Integer)</a><br />
-    <a href="classes/String.html#M000068">random_range (String)</a><br />
-    <a href="classes/RandomBool.html#M000080">random_range (RandomBool)</a><br />
-    <a href="classes/Float.html#M000049">random_range (Float)</a><br />
-    <a href="classes/HsRandom.html#M000083">random_std (HsRandom)</a><br />
-    <a href="classes/Gen.html#M000042">resize (Gen)</a><br />
-    <a href="classes/Result.html#M000053">result (Result)</a><br />
+    <a href="classes/String.html#M000069">random_range (String)</a><br />
+    <a href="classes/Float.html#M000050">random_range (Float)</a><br />
+    <a href="classes/HsRandom.html#M000084">random_std (HsRandom)</a><br />
+    <a href="classes/Gen.html#M000043">resize (Gen)</a><br />
+    <a href="classes/Result.html#M000054">result (Result)</a><br />
     <a href="classes/RandomArray.html#M000021">set_pattern (RandomArray)</a><br />
-    <a href="classes/RandomHash.html#M000044">set_pattern (RandomHash)</a><br />
-    <a href="classes/RandomProc.html#M000055">set_pattern (RandomProc)</a><br />
-    <a href="classes/Gen.html#M000033">sized (Gen)</a><br />
-    <a href="classes/RandomGen.html#M000077">split (RandomGen)</a><br />
-    <a href="classes/TheStdGen.html#M000064">split (TheStdGen)</a><br />
+    <a href="classes/RandomHash.html#M000045">set_pattern (RandomHash)</a><br />
+    <a href="classes/RandomProc.html#M000056">set_pattern (RandomProc)</a><br />
+    <a href="classes/Gen.html#M000034">sized (Gen)</a><br />
     <a href="classes/StdGen.html#M000012">split (StdGen)</a><br />
-    <a href="classes/Testable.html#M000092">test (Testable)</a><br />
+    <a href="classes/RandomGen.html#M000078">split (RandomGen)</a><br />
+    <a href="classes/TheStdGen.html#M000065">split (TheStdGen)</a><br />
+    <a href="classes/Testable.html#M000093">test (Testable)</a><br />
     <a href="classes/RushCheckConfig.html#M000005">tests (RushCheckConfig)</a><br />
     <a href="classes/StdGen.html#M000014">to_s (StdGen)</a><br />
-    <a href="classes/Testable.html#M000094">trivial (Testable)</a><br />
-    <a href="classes/Gen.html#M000034">unit (Gen)</a><br />
-    <a href="classes/Gen.html#M000038">value (Gen)</a><br />
-    <a href="classes/Gen.html#M000043">variant (Gen)</a><br />
-    <a href="classes/Gen.html#M000035">vector (Gen)</a><br />
+    <a href="classes/Testable.html#M000095">trivial (Testable)</a><br />
+    <a href="classes/Gen.html#M000035">unit (Gen)</a><br />
+    <a href="classes/Gen.html#M000039">value (Gen)</a><br />
+    <a href="classes/Gen.html#M000044">variant (Gen)</a><br />
+    <a href="classes/Gen.html#M000036">vector (Gen)</a><br />
     <a href="classes/RushCheckConfig.html#M000002">verbose (RushCheckConfig)</a><br />
-    <a href="classes/Testable.html#M000093">verbose_check (Testable)</a><br />
+    <a href="classes/Testable.html#M000094">verbose_check (Testable)</a><br />
   </div>
 </div>
 </body>

data/lib/rushcheck/gen.rb CHANGED Viewed

@@ -3,9 +3,13 @@
 # Almost all implementations are similar to Haskell's one.
 # Therefore check also the Haskell implementation.
+require 'rushcheck/gen'
 # Gen provides functions for generating test instances.
 class Gen
+  @@max_create = 10000
   # choose is one of primitive generators to create a random Gen object.
   # choose returns a Gen object which generates a random value in the
   # bound. It may useful to implement arbitrary method into your class.
@@ -13,6 +17,39 @@ class Gen
     rand.fmap {|x| lo.class.random(x, lo, hi)[0] }
   end
+  # create is one of primitive generators to create a random Gen object.
+  # create takes an array of Gen objects, and any block to generate object.
+  # Then create returns a Gen object. It may useful to implement
+  # arbitrary method into your class.
+  def self.create(xs, &f)
+    Gen.new do |n, r|
+      r2 = r
+      nguard = f.arity - xs.length
+      guards = nguard >= 0 ? Array.new(nguard, Guard.new) : []
+      try = 0
+      begin
+        if try > @@max_create
+          raise(RuntimeError, "Failed to guards too many.")
+        end
+        args = xs.map do |gen|
+          r1, r2 = r2.split
+          gen.value(n, r1)
+        end
+        ys = args + guards
+        f.call(*ys)
+      rescue Exception => ex
+        case ex
+        when RushCheckGuard
+          try += 1
+          retry
+        else
+          raise(ex, ex.to_s)
+        end
+      end
+    end
+  end
   # elements is one of primitive generators to create a random Gen
   # object. elements requires an array and returns a Gen object which
   # generates an object in the array randomly. It may useful to
@@ -50,11 +87,11 @@ class Gen
   # variable. The block should return a Gen object. lift_array returns
   # a Gen object which generates an array of the result of given block
   # for applying each member of given array.
-  def self.lift_array(ary)
+  def self.lift_array(xs)
     Gen.new do |n, r|
       r2 = r
-      ary.map do |c|
-        r1, r2 = r.split
+      xs.map do |c|
+        r1, r2 = r2.split
         yield.value(n, r1)
       end
     end

metadata CHANGED Viewed

@@ -3,8 +3,8 @@ rubygems_version: 0.9.0
 specification_version: 1
 name: rushcheck
 version: !ruby/object:Gem::Version
-  version: "0.2"
-date: 2006-08-09 00:00:00.000000 +09:00
+  version: "0.3"
+date: 2006-08-10 00:00:00.000000 +09:00
 summary: A lightweight random testing tool
 require_paths:
   - lib
@@ -54,6 +54,7 @@ files:
   - data/rushcheck/rdoc
   - data/rushcheck/doc/policy.txt
   - data/rushcheck/doc/rushcheck.txt
+  - data/rushcheck/examples/candy.rb
   - data/rushcheck/examples/printf.rb
   - data/rushcheck/examples/proc.rb
   - data/rushcheck/examples/roguetile.rb
@@ -116,9 +117,11 @@ files:
   - data/rushcheck/rdoc/classes/TrueClass.html
   - data/rushcheck/rdoc/classes/TrueClass.src
   - data/rushcheck/rdoc/classes/Arbitrary.src/M000075.html
+  - data/rushcheck/rdoc/classes/Arbitrary.src/M000076.html
   - data/rushcheck/rdoc/classes/Assertion.src/M000015.html
   - data/rushcheck/rdoc/classes/Assertion.src/M000016.html
   - data/rushcheck/rdoc/classes/Coarbitrary.src/M000095.html
+  - data/rushcheck/rdoc/classes/Coarbitrary.src/M000096.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000018.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000019.html
   - data/rushcheck/rdoc/classes/FalseClass.src/M000020.html
@@ -126,6 +129,7 @@ files:
   - data/rushcheck/rdoc/classes/Float.src/M000048.html
   - data/rushcheck/rdoc/classes/Float.src/M000049.html
   - data/rushcheck/rdoc/classes/Float.src/M000050.html
+  - data/rushcheck/rdoc/classes/Float.src/M000051.html
   - data/rushcheck/rdoc/classes/Gen.src/M000026.html
   - data/rushcheck/rdoc/classes/Gen.src/M000027.html
   - data/rushcheck/rdoc/classes/Gen.src/M000028.html
@@ -144,11 +148,13 @@ files:
   - data/rushcheck/rdoc/classes/Gen.src/M000041.html
   - data/rushcheck/rdoc/classes/Gen.src/M000042.html
   - data/rushcheck/rdoc/classes/Gen.src/M000043.html
+  - data/rushcheck/rdoc/classes/Gen.src/M000044.html
   - data/rushcheck/rdoc/classes/Guard.src/M000024.html
   - data/rushcheck/rdoc/classes/Guard.src/M000025.html
   - data/rushcheck/rdoc/classes/HsRandom.src/M000081.html
   - data/rushcheck/rdoc/classes/HsRandom.src/M000082.html
   - data/rushcheck/rdoc/classes/HsRandom.src/M000083.html
+  - data/rushcheck/rdoc/classes/HsRandom.src/M000084.html
   - data/rushcheck/rdoc/classes/Integer.src/M000006.html
   - data/rushcheck/rdoc/classes/Integer.src/M000007.html
   - data/rushcheck/rdoc/classes/Integer.src/M000008.html
@@ -156,26 +162,33 @@ files:
   - data/rushcheck/rdoc/classes/NilClass.src/M000059.html
   - data/rushcheck/rdoc/classes/NilClass.src/M000060.html
   - data/rushcheck/rdoc/classes/NilClass.src/M000061.html
+  - data/rushcheck/rdoc/classes/NilClass.src/M000062.html
   - data/rushcheck/rdoc/classes/Property.src/M000070.html
   - data/rushcheck/rdoc/classes/Property.src/M000071.html
+  - data/rushcheck/rdoc/classes/Property.src/M000072.html
   - data/rushcheck/rdoc/classes/RandomArray.src/M000021.html
   - data/rushcheck/rdoc/classes/RandomArray.src/M000022.html
   - data/rushcheck/rdoc/classes/RandomArray.src/M000023.html
   - data/rushcheck/rdoc/classes/RandomBool.src/M000079.html
   - data/rushcheck/rdoc/classes/RandomBool.src/M000080.html
+  - data/rushcheck/rdoc/classes/RandomBool.src/M000081.html
   - data/rushcheck/rdoc/classes/RandomGen.src/M000076.html
   - data/rushcheck/rdoc/classes/RandomGen.src/M000077.html
   - data/rushcheck/rdoc/classes/RandomGen.src/M000078.html
+  - data/rushcheck/rdoc/classes/RandomGen.src/M000079.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000044.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000045.html
   - data/rushcheck/rdoc/classes/RandomHash.src/M000046.html
+  - data/rushcheck/rdoc/classes/RandomHash.src/M000047.html
   - data/rushcheck/rdoc/classes/RandomProc.src/M000055.html
   - data/rushcheck/rdoc/classes/RandomProc.src/M000056.html
   - data/rushcheck/rdoc/classes/RandomProc.src/M000057.html
   - data/rushcheck/rdoc/classes/RandomProc.src/M000058.html
+  - data/rushcheck/rdoc/classes/RandomProc.src/M000059.html
   - data/rushcheck/rdoc/classes/Result.src/M000051.html
   - data/rushcheck/rdoc/classes/Result.src/M000052.html
   - data/rushcheck/rdoc/classes/Result.src/M000053.html
+  - data/rushcheck/rdoc/classes/Result.src/M000054.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html
   - data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html
@@ -191,20 +204,27 @@ files:
   - data/rushcheck/rdoc/classes/String.src/M000067.html
   - data/rushcheck/rdoc/classes/String.src/M000068.html
   - data/rushcheck/rdoc/classes/String.src/M000069.html
+  - data/rushcheck/rdoc/classes/String.src/M000070.html
   - data/rushcheck/rdoc/classes/Testable.src/M000084.html
   - data/rushcheck/rdoc/classes/Testable.src/M000085.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000086.html
   - data/rushcheck/rdoc/classes/Testable.src/M000088.html
   - data/rushcheck/rdoc/classes/Testable.src/M000089.html
   - data/rushcheck/rdoc/classes/Testable.src/M000090.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000091.html
   - data/rushcheck/rdoc/classes/Testable.src/M000092.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000093.html
   - data/rushcheck/rdoc/classes/Testable.src/M000094.html
+  - data/rushcheck/rdoc/classes/Testable.src/M000095.html
   - data/rushcheck/rdoc/classes/TheStdGen.src/M000062.html
   - data/rushcheck/rdoc/classes/TheStdGen.src/M000063.html
   - data/rushcheck/rdoc/classes/TheStdGen.src/M000064.html
   - data/rushcheck/rdoc/classes/TheStdGen.src/M000065.html
+  - data/rushcheck/rdoc/classes/TheStdGen.src/M000066.html
   - data/rushcheck/rdoc/classes/TrueClass.src/M000072.html
   - data/rushcheck/rdoc/classes/TrueClass.src/M000073.html
   - data/rushcheck/rdoc/classes/TrueClass.src/M000074.html
+  - data/rushcheck/rdoc/classes/TrueClass.src/M000075.html
   - data/rushcheck/rdoc/files/rushcheck
   - data/rushcheck/rdoc/files/rushcheck/arbitrary_rb.html
   - data/rushcheck/rdoc/files/rushcheck/array_rb.html