tests: replace assume by bound (#14) #46
ci.yml
on: push
test-unit
21s
test-invariant
21s
test-fuzz
29s
coverage
27s
slither-analyze
1m 30s