|
|
465c959414
|
strengthen constraint
Go / test (push) Successful in 4s
|
2025-11-05 04:54:02 -10:00 |
|
|
|
ba00edc4db
|
PBT all the things
Go / test (push) Successful in 5s
|
2025-11-05 04:50:07 -10:00 |
|
|
|
0c9e3aa20b
|
fix assert comment
Go / test (push) Successful in 3s
|
2025-11-04 18:11:25 -10:00 |
|
|
|
72da3ec820
|
add assert comments
Go / test (push) Successful in 3s
|
2025-11-04 18:06:17 -10:00 |
|
|
|
df56597332
|
rename test
Go / test (push) Successful in 3s
|
2025-11-04 17:51:07 -10:00 |
|
|
|
4deba4be78
|
clean up
Go / test (push) Successful in 3s
|
2025-11-04 17:50:32 -10:00 |
|
|
|
b7b7f79559
|
golf coverage
Go / test (push) Successful in 3s
|
2025-11-04 17:37:53 -10:00 |
|
|
|
6155074b77
|
never go full pbt ;)
Go / test (push) Successful in 3s
|
2025-11-04 17:36:18 -10:00 |
|
|
|
3b4c206003
|
generate empty lists
Go / test (push) Successful in 3s
|
2025-11-04 17:21:52 -10:00 |
|
|
|
cfbddb3f39
|
test First()
Go / test (push) Successful in 4s
|
2025-11-04 17:19:45 -10:00 |
|
|
|
f5f7691de0
|
try PBT with coverage #2
Go / test (push) Successful in 3s
|
2025-11-04 17:17:00 -10:00 |
|
|
|
5ac5acd6d1
|
get rid of extra module level funcs
Go / test (push) Successful in 3s
|
2025-11-04 15:08:32 -10:00 |
|
|
|
413ab23904
|
add PBT for list len
Go / test (push) Successful in 11s
|
2025-11-04 14:58:08 -10:00 |
|
|
|
c044f452b5
|
add PBT infra
|
2025-11-04 14:50:47 -10:00 |
|
|
|
db1bd5f322
|
bring back empty() vs new(val)
Go / test (push) Successful in 10s
|
2025-11-04 13:03:00 -10:00 |
|
|
|
4e1cbce3a7
|
start the tower of abstractions
Go / test (push) Failing after 28s
|
2025-11-04 12:25:23 -10:00 |
|
|
|
d3997bfb53
|
support non-nil empty list
Go / test (push) Successful in 2s
|
2025-11-04 11:50:38 -10:00 |
|
