Theofilos Petsios

This seems to be a network configuration issue with docker. To solve I did the following: Edit `/etc/docker/daemon.json`: ``` { "dns": ["192.10.0.2", "8.8.8.8"] } ``` Then restart the docker service...

Same here for a docker container where neo4j-driver successfully connects but py2neo fails

Similar question I had when playing with the tool is whether it is possible to compute a sum by combining let and forall and then specifing an invariant on top...

+1 for this feature. Thanks!

It seems that the grep pattern is broken? Was it intended to be `\.cfi`? I run into the following FP: ``` readelf -s /tmp/sample_go_binary | grep .cfi 1143: 0000000000456640 261...

Thank you for the reply - if you see the command above I did specify the -solc option. Also I have attached a test contract (test.sol) using solidity 0.8.0 which...

Thanks for looking into this - the version I have is `0.8.0+commit.c7dfd78e.Darwin.appleclang`

Thanks for the detailed response. The the solc version is here secondary - I did try with and without the solc flag and the real issue here is related to...

Related to @anthonyharrison's comment above - would it make sense to automatically use https://github.com/spdx/spdx-spec/tree/master/examples automatically in tests? currently the master branch examples (e.g., https://github.com/spdx/spdx-spec/blob/master/examples/SPDXJSONExample-v2.2.spdx.json) also fail using the `JSONParser` for...

@pombredanne let us know if you require any updates to this - it would be useful to get it merged! Thanks