remove tests that are from deleted constraints

cosmos · Jul 22, 2024 · 15fc0ef · 15fc0ef
1 parent bd4c5cb
commit 15fc0ef
Showing 1 changed file with 0 additions and 57 deletions.
diff --git a/math/dec_rapid_test.go b/math/dec_rapid_test.go
@@ -4,7 +4,6 @@ import (
 	"fmt"
 	"regexp"
 	"strconv"
-	"strings"
 	"testing"
 
 	"github.com/stretchr/testify/require"
@@ -18,10 +17,6 @@ func TestDecWithRapid(t *testing.T) {
 
 	// Properties about *FromString functions
 	t.Run("TestInvalidNewDecFromString", rapid.MakeCheck(testInvalidNewDecFromString))
-	t.Run("TestInvalidNewNonNegativeDecFromString", rapid.MakeCheck(testInvalidNewNonNegativeDecFromString))
-	t.Run("TestInvalidNewNonNegativeFixedDecFromString", rapid.MakeCheck(testInvalidNewNonNegativeFixedDecFromString))
-	t.Run("TestInvalidNewPositiveDecFromString", rapid.MakeCheck(testInvalidNewPositiveDecFromString))
-	t.Run("TestInvalidNewPositiveFixedDecFromString", rapid.MakeCheck(testInvalidNewPositiveFixedDecFromString))
 
 	// Properties about addition
 	t.Run("TestAddLeftIdentity", rapid.MakeCheck(testAddLeftIdentity))
@@ -191,58 +186,6 @@ func testInvalidNewDecFromString(t *rapid.T) {
 	require.Error(t, err)
 }
 
-// Property: invalid_number_string(s) || IsNegative(s)
-// => NewNonNegativeDecFromString(s) == err
-func testInvalidNewNonNegativeDecFromString(t *rapid.T) {
-	s := rapid.OneOf(
-		rapid.StringMatching("[[:alpha:]]+"),
-		rapid.StringMatching(`^-\d*\.?\d+$`).Filter(
-			func(s string) bool { return !strings.HasPrefix(s, "-0") && !strings.HasPrefix(s, "-.0") },
-		),
-	).Draw(t, "s")
-	_, err := NewDecFromString(s)
-	require.Error(t, err)
-}
-
-// Property: invalid_number_string(s) || IsNegative(s) || NumDecimals(s) > n
-// => NewNonNegativeFixedDecFromString(s, n) == err
-func testInvalidNewNonNegativeFixedDecFromString(t *rapid.T) {
-	n := rapid.Uint32Range(0, 999).Draw(t, "n")
-	s := rapid.OneOf(
-		rapid.StringMatching("[[:alpha:]]+"),
-		rapid.StringMatching(`^-\d*\.?\d+$`).Filter(
-			func(s string) bool { return !strings.HasPrefix(s, "-0") && !strings.HasPrefix(s, "-.0") },
-		),
-		rapid.StringMatching(fmt.Sprintf(`\d*\.\d{%d,}`, n+1)),
-	).Draw(t, "s")
-	_, err := NewDecFromString(s)
-	require.Error(t, err)
-}
-
-// Property: invalid_number_string(s) || IsNegative(s) || IsZero(s)
-// => NewPositiveDecFromString(s) == err
-func testInvalidNewPositiveDecFromString(t *rapid.T) {
-	s := rapid.OneOf(
-		rapid.StringMatching("[[:alpha:]]+"),
-		rapid.StringMatching(`^-\d*\.?\d+|0$`),
-	).Draw(t, "s")
-	_, err := NewDecFromString(s)
-	require.Error(t, err)
-}
-
-// Property: invalid_number_string(s) || IsNegative(s) || IsZero(s) || NumDecimals(s) > n
-// => NewPositiveFixedDecFromString(s) == err
-func testInvalidNewPositiveFixedDecFromString(t *rapid.T) {
-	n := rapid.Uint32Range(0, 999).Draw(t, "n")
-	s := rapid.OneOf(
-		rapid.StringMatching("[[:alpha:]]+"),
-		rapid.StringMatching(`^-\d*\.?\d+|0$`),
-		rapid.StringMatching(fmt.Sprintf(`\d*\.\d{%d,}`, n+1)),
-	).Draw(t, "s")
-	_, err := NewDecFromString(s)
-	require.Error(t, err)
-}
-
 // Property: 0 + a == a
 func testAddLeftIdentity(t *rapid.T) {
 	a := genDec.Draw(t, "a")