ajet/mal-go
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

strengthen constraint
All checks were successful
Go / test (push) Successful in 4s
Details

Browse Source
This commit is contained in:
Adam Jeniski 2025-11-05 04:54:02 -10:00
parent ba00edc4db
commit 465c959414
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
list/list_test.go
View File

@ -70,7 +70,7 @@ func TestRest(t *testing.T) {
rapid.Check(t, func(t *rapid.T) { rapid.Check(t, func(t *rapid.T) {
myList := descSortedIntListGen().Draw(t, "myList") myList := descSortedIntListGen().Draw(t, "myList")
assert.GreaterOrEqual(t, myList.First(), myList.Rest().First(), "rest decreases value in list head") assert.Greater(t, myList.First(), myList.Rest().First(), "rest decreases value in list head")
}) })
} }