Stowage/go
2
0
Fork 0
mirror of https://github.com/golang/go.git synced 2025-12-08 06:10:04 +00:00
Code Issues Projects Releases Packages Wiki Activity

test: go fmt prove.go tests

Browse source 
Change-Id: Ia4c2ceffcf2bfde862e9dba02a4b38245f868692
Reviewed-on: https://go-review.googlesource.com/c/go/+/721202
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Sean Liao <sean@liao.dev>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Mark Freeman <markfreeman@google.com>
Auto-Submit: Jorropo <jorropo.pgm@gmail.com>
This commit is contained in:
Jorropo 2025-11-18 00:54:38 +01:00 • committed by Gopher Robot
parent 489d3dafb7
commit 2239520d1c
1 changed files with 39 additions and 40 deletions
Download patch file Download diff file Expand all files Collapse all files

1
test/prove.go
View file

@ -2496,7 +2496,6 @@ func div3pos(x []int) int {
return len(x) / 3 // ERROR "Proved Div64 is unsigned" return len(x) / 3 // ERROR "Proved Div64 is unsigned"
} }
var len200 [200]int var len200 [200]int
func modbound1(u uint64) int { func modbound1(u uint64) int {