コード例 #1
0
// TestAbs2e uses a combination of extreme and random values
func TestAbs2e(t *testing.T) {
	f := func(x int) bool {
		return Abs2(x) >= 0 // post-condition of Abs2
	}
	if err := quick.Check(f, &quick.Config{Values: extreme.Values(f)}); err != nil {
		t.Error(err)
	}
}
コード例 #2
0
// TestAbs3e uses a combination of extreme and random values
func TestAbs3e(t *testing.T) {
	f := func(x int8) bool {
		return Abs3(x) >= 0
	}
	if err := quick.Check(f, &quick.Config{Values: extreme.Values(f)}); err != nil {
		t.Error(err)
	}
}