[INFO] updating cached repository viperproject/prusti-dev
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/viperproject/prusti-dev
[INFO] [stderr]  * branch              HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/viperproject/prusti-dev" "work/ex/pr-62181/sources/master#6ea4036cd20a4b1ab1d56e555108c21735ff6946/gh/viperproject/prusti-dev"`
[INFO] [stderr] Cloning into 'work/ex/pr-62181/sources/master#6ea4036cd20a4b1ab1d56e555108c21735ff6946/gh/viperproject/prusti-dev'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/viperproject/prusti-dev" "work/ex/pr-62181/sources/try#003a7b6b5753e8509fdfe7949d4f0873ba71e4fc/gh/viperproject/prusti-dev"`
[INFO] [stderr] Cloning into 'work/ex/pr-62181/sources/try#003a7b6b5753e8509fdfe7949d4f0873ba71e4fc/gh/viperproject/prusti-dev'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] b47786dfb57e95802d702453ca2700276c4d3b02
[INFO] sha for GitHub repo viperproject/prusti-dev: b47786dfb57e95802d702453ca2700276c4d3b02
[INFO] validating manifest of viperproject/prusti-dev on toolchain master#6ea4036cd20a4b1ab1d56e555108c21735ff6946
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+6ea4036cd20a4b1ab1d56e555108c21735ff6946-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[ERROR] this task or one of its parent failed!
[ERROR] overridden task result to broken:cargo-toml
[ERROR] caused by: invalid syntax in viperproject/prusti-dev's Cargo.toml
[ERROR] caused by: command `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+6ea4036cd20a4b1ab1d56e555108c21735ff6946-alt" "read-manifest" "--manifest-path" "Cargo.toml"` failed
[ERROR]