Closed CrazyUmka closed 7 years ago
Check this please: https://github.com/mc-imperial/gpuverify/blob/master/GPUVerify.py#L280 When trying to add an includes directory for search with argument -I, the includes field of the GPUVerifyInstance class did not get the specified directories. But maybe I wrong.
Fixed, thanks for the report.
jeroenk
commented
7 years ago jeroenk
commented
7 years ago
Check this please: https://github.com/mc-imperial/gpuverify/blob/master/GPUVerify.py#L280 When trying to add an includes directory for search with argument -I, the includes field of the GPUVerifyInstance class did not get the specified directories. But maybe I wrong.