sarneaud

Thanks @djfinnoy, that was my problem, too. It broke after an upgrade to GKE 1.21.0. Details of the networking requirements are here: https://cloud.google.com/kubernetes-engine/docs/how-to/workload-identity#gke_mds

In theory, you could take the D runtime, stub out things like threading support, and make an LLVM bitcode build that links with non-betterC code that's runnable under KLEE. ldc2...