memcpy_example_2 hangs on some machines

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

101 stars 14 forks source link

Open codyroux opened 3 years ago

codyroux commented 3 years ago

For some reason, the Z3 call in the memcpy/memcpy_example_2 test seems to hang on my machine.

This could be a Z3 version issue.