github/golang.go
2
0
Fork 0
mirror of https://github.com/golang/go.git synced 2026-04-04 10:20:00 +09:00
Code Issues Packages Projects Releases Wiki Activity

test: run go fmt on prove.go

Browse Source 
Change-Id: I87e493094778144c04298ae96322adf0d4e7eba4
Reviewed-on: https://go-review.googlesource.com/c/go/+/750340
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Keith Randall <khr@golang.org>
Auto-Submit: Jorropo <jorropo.pgm@gmail.com>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Cherry Mui <cherryyz@google.com>
This commit is contained in:
Jorropo
2026-03-01 07:06:30 +01:00
parent bbed50aaa3
commit 426ea5cd22
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
test/prove.go
View File

@@ -2570,7 +2570,7 @@ func swapbound(v []int) {
for i := 0; i < len(v)/2; i++ { // ERROR "Proved Div64 is unsigned|Induction variable"
v[i], // ERROR "Proved IsInBounds"
v[len(v)-1-i] = // ERROR "Proved IsInBounds"
v[len(v)-1-i], // ERROR "Proved IsInBounds"
v[len(v)-1-i], // ERROR "Proved IsInBounds"
v[i] // ERROR "Proved IsInBounds"
}
}