If you think you have found a bug in GPUVerify, please report it via our issue tracker on GitHub: https://github.com/mc-imperial/gpuverify/issues
This page will include a list of common problems people have reported when getting started with GPUVerify.
When running GPUVerify you see an error of the form:
__main__.ConfigurationError: GPUVerify: CONFIGURATION_ERROR error (9): psutil required. `pip install psutil` to get it.
GPUVerify requires the python module psutil. We recommend installing this using pip:
$ pip install psutil
Todo
is z3 available?
Todo
correct python version?
Todo
correct mono version if on Linux?
Todo
do you have write permission for the current directory?
Todo
Short circuit evaluation in invariants and pre-postcondition
Todo
Byte-level reads and writes