Use of LUCI is subject to the Google [Terms of Service](
https://policies.google.com/terms) and [Privacy Policy](
https://policies.google.com/privacy)
[I2025-12-02T17:52:16.612044Z 101417 0 sink.go:354] SinkServer: warm-up started
[I2025-12-02T17:52:16.612118Z 101417 0 sink.go:427] SinkServer: starting HTTP server...
[I2025-12-02T17:52:16.613029Z 101417 0 sink.go:359] SinkServer: warm-up ended
[I2025-12-02T17:52:16.613290Z 101417 0 cmd_stream.go:577] rdb-stream: starting the test command - ["/home/swarming/.swarming/w/ir/cache/tools/bin/result_adapter" "go" "-v=false" "-dump-json" "/home/swarming/.swarming/w/ir/x/w/dist.testjson" "--" "/home/swarming/.swarming/w/ir/x/w/goroot/bin/go" "tool" "dist" "test" "-json" "runtime" "cmd/cgo/internal/testplugin" "runtime:cpu4" "cmd/internal/testdir:4_10" "go/types" "runtime:cpu1" "cmd/internal/testdir:8_10" "cmd/internal/testdir:7_10" "cmd/compile" "cmd/go/internal/vcweb/vcstest" "net/http" "cmd/internal/obj/x86" "cmd/go/internal/modfetch/codehost" "syscall" "os" "cmd/cover" "cmd/cgo/internal/test:internal-pie" "cmd/pprof" "mime/multipart" "net:race" "encoding/gob:race" "testing" "cmd/cgo/internal/test:auto-pie" "cmd/addr2line" "cmd/internal/cov" "net/netip" "internal/godebug" "crypto" "archive/zip" "cmp" "container/heap" "crypto/des" "crypto/ecdh" "crypto/fips140" "crypto/internal/boring/bcache" "crypto/internal/fips140/aes/gcm" "crypto/internal/fips140/ecdsa" "crypto/internal/fips140/edwards25519" "crypto/internal/fips140/hkdf" "crypto/internal/fips140/hmac" "crypto/internal/fips140/nistec" "crypto/internal/fips140/sha256" "crypto/internal/fips140/sha512" "crypto/internal/fips140/ssh" "crypto/internal/fips140/subtle" "crypto/internal/fips140/tls12" "crypto/internal/fips140cache" "crypto/internal/fips140deps/cpu" "crypto/internal/fips140deps/godebug" "crypto/internal/fips140deps/time" "crypto/internal/sysrand/internal/seccomp" "crypto/mlkem/mlkemtest" "debug/macho" "embed/internal/embedtest" "errors" "go/constant" "go/format" "go/importer" "go/parser" "go/version" "hash/maphash" "html" "image/color" "internal/abi" "internal/chacha8rand" "internal/coverage/encodecounter" "internal/coverage/encodemeta" "internal/coverage/slicewriter" "internal/goexperiment" "internal/goos" "internal/gover" "internal/poll" "internal/profile" "internal/reflectlite" "internal/runtime/gc/internal/gen" "internal/trace/traceviewer" "internal/trace/traceviewer/format" "log" "log/internal" "log/slog/internal/benchmarks" "maps" "math" "math/big/internal/asmgen" "math/bits" "mime/quotedprintable" "net/http/cookiejar" "net/rpc/jsonrpc" "os/exec" "os/user" "runtime/cgo" "runtime/coverage" "runtime/race" "text/template/parse" "unicode/utf16" "cmd/asm/internal/lex" "cmd/buildid" "cmd/cgo/internal/test/issue27340" "cmd/cgo/internal/test/issue41761a" "cmd/cgo/internal/test/issue8828" "cmd/cgo/internal/test/issue9510b" "cmd/compile/internal/abi" "cmd/compile/internal/arm" "cmd/compile/internal/arm64" "cmd/compile/internal/deadlocals" "cmd/compile/internal/escape" "cmd/compile/internal/liveness" "cmd/compile/internal/logopt" "cmd/compile/internal/mips64" "cmd/compile/internal/riscv64" "cmd/compile/internal/staticinit" "cmd/compile/internal/syntax" "cmd/compile/internal/types" "cmd/compile/internal/x86" "cmd/go/internal/auth" "cmd/go/internal/base" "cmd/go/internal/load" "cmd/go/internal/modfetch" "cmd/go/internal/tool" "cmd/go/internal/vcs" "cmd/go/internal/version" "cmd/go/internal/workcmd" "cmd/gofmt" "cmd/internal/browser" "cmd/internal/codesign" "cmd/internal/cov/covcmd" "cmd/internal/gcprog" "cmd/internal/hash" "cmd/internal/obj/mips" "cmd/internal/obj/ppc64" "cmd/internal/obj/riscv" "cmd/internal/obj/s390x" "cmd/internal/pathcache" "cmd/internal/pkgpath" "cmd/internal/script/scripttest" "cmd/internal/sys" "cmd/link/internal/arm" "cmd/link/internal/arm64" "cmd/link/internal/loadelf" "cmd/link/internal/loadmacho" "cmd/link/internal/mips" "cmd/link/internal/x86" "os/user:osusergo" "crypto/...:gofips140-inprocess" "reflect:pie_internal" "sync:cpu10" "cmd/cgo/internal/testtls:external"]
2025/12/02 17:55:19 Failed: exit status 1
go tool dist: FAILED
ok runtime 94.887s
ok cmd/cgo/internal/testplugin 100.242s
ok go/types 30.026s
ok cmd/compile 18.437s
ok cmd/go/internal/vcweb/vcstest 27.620s
ok net/http 16.673s
ok cmd/internal/obj/x86 17.329s
ok cmd/go/internal/modfetch/codehost 3.083s
ok syscall 6.385s
ok os 4.287s
ok cmd/cover 7.010s
ok cmd/pprof 2.376s
ok mime/multipart 4.387s
ok testing 3.689s
ok cmd/addr2line 2.252s
ok cmd/internal/cov 0.664s
ok net/netip 0.983s
ok internal/godebug 0.634s
ok crypto 1.082s
ok archive/zip 0.353s
ok cmp 0.009s
ok container/heap 0.011s
ok crypto/des 0.021s
ok crypto/ecdh 0.093s
ok crypto/fips140 0.766s
ok crypto/internal/boring/bcache 0.220s
ok crypto/internal/fips140/aes/gcm 0.016s [no tests to run]
ok crypto/internal/fips140/ecdsa 0.087s
ok crypto/internal/fips140/edwards25519 0.180s
ok crypto/internal/fips140/nistec 0.015s
ok crypto/internal/fips140/subtle 0.008s
ok crypto/internal/fips140cache 0.555s
ok debug/macho 0.013s
ok embed/internal/embedtest 0.012s
ok errors 0.010s
ok go/constant 0.079s
ok go/format 0.023s
ok go/importer 0.339s
ok go/parser 0.166s
ok go/version 0.026s
ok hash/maphash 0.299s
ok html 0.008s
ok image/color 0.031s
ok internal/abi 0.176s
ok internal/chacha8rand 0.012s
ok internal/coverage/slicewriter 0.009s
ok internal/gover 0.035s
ok internal/poll 0.142s
ok internal/profile 0.027s
ok internal/reflectlite 0.023s
ok log 0.018s
ok log/slog/internal/benchmarks 0.008s
ok maps 0.009s
ok math 0.044s
ok math/big/internal/asmgen 0.056s
ok math/bits 0.058s
ok mime/quotedprintable 0.069s
ok net/http/cookiejar 0.042s
ok net/rpc/jsonrpc 0.023s
ok os/exec 0.656s
ok os/user 0.047s
ok runtime/cgo 0.019s
ok text/template/parse 0.032s
ok unicode/utf16 0.024s
ok cmd/asm/internal/lex 0.045s
ok cmd/compile/internal/liveness 0.083s
ok cmd/compile/internal/logopt 0.122s
ok cmd/compile/internal/syntax 0.098s
ok cmd/compile/internal/types 0.060s
ok cmd/go/internal/auth 0.042s
ok cmd/go/internal/load 0.056s
ok cmd/go/internal/modfetch 0.096s
ok cmd/go/internal/vcs 0.071s
ok cmd/gofmt 0.060s
ok cmd/internal/obj/ppc64 0.091s
ok cmd/internal/obj/riscv 0.055s
ok cmd/internal/obj/s390x 0.012s
ok cmd/internal/pkgpath 0.030s
ok cmd/internal/sys 0.021s
ok os/user 0.067s
cannot parse row "? \tcrypto/internal/boring/bbig\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/boring/sig\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/constanttime\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/cryptotest\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/entropy\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/entropy/v1.0.0\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/alias\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/check\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/check/checktest\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/ed25519\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/hkdf\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/hmac\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/pbkdf2\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/sha256\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/sha3\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/sha512\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/ssh\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/subtle\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/tls12\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/tls13\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/byteorder\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/cpu\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/godebug\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/time\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140hash\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140only\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/impl\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/rand\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/randutil\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/sysrand/internal/seccomp\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/mlkem/mlkemtest\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/tls/internal/fips140tls\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/x509/pkix\t[no test files]", invalid character '?' looking for beginning of value
ok reflect 0.956s
ok sync 0.660s
ok cmd/cgo/internal/testtls 0.105s
ok cmd/cgo/internal/test 0.925s
ok cmd/cgo/internal/test 0.878s
ok runtime 34.320s
ok runtime 30.594s
ok net 1.124s
ok encoding/gob 1.043s
ok cmd/internal/testdir 26.076s
--- FAIL: Test (0.03s)
--- FAIL: Test/prove.go (1.14s)
testdir_test.go:1194: gc output:
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:18: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:20: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:21: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:22: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:30: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:31: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:33: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:34: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:35: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:41: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:44: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:47: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:50: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:53: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:69: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:71: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:78: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:85: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:88: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:91: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:107: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:120: Disproved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:133: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:134: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:148: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:159: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:164: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:165: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:177: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:187: Disproved Less8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:194: Disproved Less8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:201: Disproved Less8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:208: Proved Leq8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:215: Proved Leq8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:224: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:225: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:238: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:248: Disproved Arg
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:256: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:256: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:267: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:272: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:277: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:282: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:292: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:297: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:302: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:307: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:312: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:324: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:329: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:334: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:339: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:344: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:356: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:361: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:366: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:371: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:376: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:387: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:396: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:407: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:422: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:431: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:443: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:459: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:464: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:469: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:475: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:480: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:488: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:491: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:494: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:518: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:525: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:530: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:533: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:549: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:555: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:561: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:575: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:583: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:594: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:604: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:608: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:615: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:628: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:637: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:647: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:652: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:665: Induction variable: limits (0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:666: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:667: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:673: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:675: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:676: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:684: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:692: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:694: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:701: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:702: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:709: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:710: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:719: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:720: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:721: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:724: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:732: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:733: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:734: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:737: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:746: Induction variable: limits [?,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:747: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:758: Induction variable: limits [?,25], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:759: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:768: Induction variable: limits [?,25], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:769: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:776: Induction variable: limits [0,?), increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:777: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:778: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:778: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:789: Induction variable: limits [0,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:790: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:791: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:791: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:802: Induction variable: limits (0,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:803: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:804: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:815: Induction variable: limits (0,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:816: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:817: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:828: Induction variable: limits [2,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:829: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:830: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:843: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:843: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:856: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:856: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:870: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:886: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:905: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:908: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:911: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:921: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:924: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:927: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:937: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:947: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:956: Induction variable: limits [-1,0], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:988: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:995: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1002: Proved Div32 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1013: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1021: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1027: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1028: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1034: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1042: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1052: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1053: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1061: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1062: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1067: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1075: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1082: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1083: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1084: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1089: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1090: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1091: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1096: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1103: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1110: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1118: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1126: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1133: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1139: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1145: Induction variable: limits [0,10], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1146: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1153: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1159: Proved Arg
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1170: Proved IsNonNil
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1182: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1199: Proved Ctz64 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1203: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1207: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1223: Proved Ctz32 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1227: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1231: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1247: Proved Ctz16 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1251: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1255: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1271: Proved Ctz8 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1275: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1279: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1301: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1305: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1325: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1329: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1349: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1353: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1373: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1377: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1391: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1395: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1409: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1413: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1427: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1431: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1444: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1448: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1461: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1465: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1478: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1481: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1485: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1498: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1501: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1505: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1518: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1521: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1525: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1538: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1540: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1543: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1546: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1549: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1563: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1563: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1565: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1568: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1571: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1574: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1585: Disproved Less16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1588: Proved Leq16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1591: Disproved Less16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1594: Proved Leq16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1606: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1609: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1612: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1615: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1628: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1631: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1634: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1637: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1665: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1666: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1674: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1682: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1710: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1713: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1716: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1719: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1733: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1736: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1739: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1742: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1756: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1759: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1762: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1765: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1779: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1782: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1785: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1788: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1819: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1822: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1825: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1828: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1842: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1845: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1848: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1851: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1865: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1868: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1871: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1874: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1888: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1891: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1894: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1897: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1912: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1915: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1918: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1921: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1935: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1938: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1941: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1944: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1958: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1961: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1964: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1967: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1981: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1984: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1987: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1990: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1998: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1999: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2000: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2001: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2008: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2022: Disproved Eq8
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2032: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2044: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2047: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2060: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2063: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2107: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2110: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2123: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2126: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2157: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2160: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2176: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2179: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2193: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2196: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2244: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2259: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2298: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2298: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2299: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2299: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2300: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2306: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2306: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2307: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2307: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2308: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2316: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2319: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2327: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2330: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2339: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2339: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2340: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2340: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2342: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2352: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2352: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2353: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2353: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2355: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2370: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2370: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2371: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2371: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2373: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2373: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2374: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2374: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2379: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2382: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2391: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2391: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2394: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2394: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2408: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2408: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2409: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2409: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2411: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2411: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2425: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2425: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2426: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2426: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2428: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2428: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2429: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2429: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2441: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2441: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2454: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2454: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2467: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2467: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2482: Rewrote Mul v19 into And
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2489: Rewrote Mul v16 into CondSelect; v7 is bool
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2494: Proved Div32 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2500: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2504: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2514: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2520: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2524: Proved Lsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2524: Proved Div64 does not need fix-up
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2528: Proved Lsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2528: Proved Div64 does not need fix-up
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2533: Induction variable: limits [0,1000), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2535: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2544: Induction variable: limits [0,1000), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2545: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2545: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2545: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2552: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2552: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2553: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2554: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2555: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2556: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2561: Induction variable: limits [0,1024), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2562: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2562: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2566: Induction variable: limits [0,1024), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2567: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2567: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2579: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2579: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2580: Proved sm,SM=-4,-1 um,UM=0,18446744073709551615 (v29)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2583: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2583: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2584: Proved sm,SM=-40,-3 um,UM=0,18446744073709551615 (v52)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2587: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2587: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2588: Proved sm,SM=-4,5 um,UM=0,18446744073709551615 (v74)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2591: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2591: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2591: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2592: Proved sm,SM=0,5 um,UM=0,5 (v96)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2596: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2596: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2597: Proved sm,SM=-8,-1 um,UM=0,18446744073709551615 (v117)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2600: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2600: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2601: Proved sm,SM=-80,-3 um,UM=0,18446744073709551615 (v138)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2604: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2604: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2605: Proved sm,SM=-8,10 um,UM=0,18446744073709551615 (v159)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2608: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2608: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2608: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2609: Proved sm,SM=0,10 um,UM=0,10 (v180)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2613: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2614: Proved sm,SM=-8,-1 um,UM=0,18446744073709551615 (v202)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2617: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2618: Proved sm,SM=-80,-3 um,UM=0,18446744073709551615 (v223)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2621: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2622: Proved sm,SM=-8,10 um,UM=0,18446744073709551615 (v244)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2625: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2625: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2626: Proved sm,SM=0,10 um,UM=0,10 (v265)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2632: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2633: Proved sm,SM=0,10 um,UM=0,10 (v29)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2636: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2636: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2637: Proved sm,SM=0,10 um,UM=0,10 (v50)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2640: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2640: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2641: Proved sm,SM=0,5 um,UM=0,5 (v72)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2644: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2644: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2645: Proved sm,SM=2,50 um,UM=2,50 (v95)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2651: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2657: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2673: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2674: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2675: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2675: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2676: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2676: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2684: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2685: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2686: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2686: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2687: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2687: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2702: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2704: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2712: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2714: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:688: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:688: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:688: Proved Eq64
testdir_test.go:147:
Unmatched Errors:
prove.go:2555: Proved IsInBounds
FAIL
FAIL cmd/internal/testdir 25.662s
ok cmd/internal/testdir 16.028s
Warning: no '=' in invocation-link-artifacts pair: "", ignoring
[W2025-12-02T17:55:20.886747Z 101417 0 cmd_stream.go:589] rdb-stream: test process exited with error: exit status 2
[I2025-12-02T17:55:20.886812Z 101417 0 cmd_stream.go:573] rdb-stream: the test process terminated
[I2025-12-02T17:55:20.886915Z 101417 0 sink.go:452] SinkServer: shutdown started
[I2025-12-02T17:55:20.886985Z 101417 0 sink.go:430] SinkServer: HTTP server stopped with "http: Server closed"
[I2025-12-02T17:55:20.887003Z 101417 0 sink_server.go:96] SinkServer: draining TestResult channel started
[I2025-12-02T17:55:21.624892Z 101417 0 sink_server.go:98] SinkServer: draining TestResult channel ended
[I2025-12-02T17:55:21.624945Z 101417 0 sink_server.go:100] SinkServer: draining Artifact channel started
[I2025-12-02T17:55:21.757477Z 101417 0 sink_server.go:102] SinkServer: draining Artifact channel ended
[I2025-12-02T17:55:21.757554Z 101417 0 sink.go:455] SinkServer: shutdown completed successfully
[I2025-12-02T17:55:21.757580Z 101417 0 cmd_stream.go:498] rdb-stream: exiting with 2