// 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)
}
}
// 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)
}
}