mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels
http://multicore.doc.ic.ac.uk/tools/GPUVerify/
Other
58 stars 15 forks source link

Enable array bounds checking by default #22

Open jeroenk opened 6 years ago

jeroenk commented 6 years ago

Consider enabling array bounds checking by default. For this to be useful, gvki probably needs to be resurrected. We will also need to go through the test suite to see why kernels are failing bounds checks.