search

system-pclub / GCatch

Statically Detecting Go Concurrency Bugs
GNU General Public License v2.0
435 stars 40 forks source link

git.gradebot.org not accessible to me #20

Closed thejerf closed 3 years ago

thejerf commented 3 years ago

GCatch/GCatch/tools/github.com/aclements/go-z3/st/{gen,types,st_test,cache}.go reference a "git.gradebot.org/zxl381/goconcurrencychecker/tools/github.com/aclements/go-z3/z3", which the general public doesn't seem to be able to get access to.

GCatch builds if I use a replace directive to return that to the original aclements/go-z3 (see https://github.com/thejerf/GCatch/blob/master/docker/Dockerfile ), but I don't know if that will introduce bugs due to not having some sort of bug fix or something.

lzhfromustc commented 3 years ago

Hi @thejerf , I have changed the out-of-date dependencies. It should work now