//
// func TestOddMultipleOfThree(t *testing.T) {
// f := func(x int) bool {
-// y := OddMultipleOfThree(x);
+// y := OddMultipleOfThree(x)
// return y%2 == 1 && y%3 == 0
// }
// if err := quick.Check(f, nil); err != nil {
-// t.Error(err);
+// t.Error(err)
// }
// }
func Check(function interface{}, config *Config) (err os.Error) {
// receive events must list the send event as a predecessor but there is no
// ordering between the receive events.
//
-// send := NewEvent("send", nil, Send{c, 1});
-// recv1 := NewEvent("recv 1", []*Event{send}, Recv{c, 1});
-// recv2 := NewEvent("recv 2", []*Event{send}, Recv{c, 1});
-// Perform(0, []*Event{send, recv1, recv2});
+// send := NewEvent("send", nil, Send{c, 1})
+// recv1 := NewEvent("recv 1", []*Event{send}, Recv{c, 1})
+// recv2 := NewEvent("recv 2", []*Event{send}, Recv{c, 1})
+// Perform(0, []*Event{send, recv1, recv2})
//
// At first, only the send event would be in the ready set and thus Perform will
// send a value to the input channel. Now the two receive events are ready and
// If a benchmark needs some expensive setup before running, the timer
// may be stopped:
// func BenchmarkBigLen(b *testing.B) {
-// b.StopTimer();
-// big := NewBig();
-// b.StartTimer();
+// b.StopTimer()
+// big := NewBig()
+// b.StartTimer()
// for i := 0; i < b.N; i++ {
-// big.Len();
+// big.Len()
// }
// }
package testing