Timotej Kapus

Seems like you insert `return client.service_account.from_p12_keyfile()` (or a similar [function](https://oauth2client.readthedocs.io/en/latest/source/oauth2client.service_account.html)) somewhere around here https://github.com/kren1/tosheets/blob/a4ef4e6ddcd5b4e0f6825fb59e266125629f0b7e/tosheets/tosheets.py#L71 I would be happy to merge, if you get something working.

It seems like I would need to get the app verfied by google (because of accesing google docs permission), which is very difficult. Unfortunately you have to use your own...

[client.json file whereever the package is installed](https://github.com/kren1/tosheets/blob/30d8b74352f84e3df8b712fe94cdcf5bcb4ea337/tosheets/tosheets.py#L47)

Why do you want the solution name to be unique? I think the idea here is to have the same name in the KTestFile as the one in klee_make_symbolic call.

MemoryObject name is useful for debugging if nothing else. Since the name in KTestFiles has no real meaning, I would discourage the use in automatic processing. It should only relly...

I don't think this is a good default option. If you have something like ```C char c; klee_make_symbolic(&c, sizeof c) if(c > '5') ...; else ... ; printf("%c", c); if(...

I often see KLEE spend 25% of it's time (excluding the solver itself) on selecting states in flame graphs. I think this comes down to what the default KLEE settings...

Well I guess this discussion is over then.

I think this is an entirely different discussion. If we want to introduce meta switch, I would go for something like `--coreutils` or `--real-progs` , wich would include `-posix-runtime -libc=uclibc...

This benchmark seems to have loads of stack arrays, I think it's the same issue as #332.