GitHub - srg-imperial/klee-fp-parboil-opencl at a53c2d2a83fd24bfddb8ad8b1c0741b70308525a

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
benchmarks		benchmarks
common		common
README		README
klee-make		klee-make

Repository files navigation

I. SETUP

Edit file common/common.mk and adjust the OpenCL platform (eg "NVIDIA CUDA") and the
OpenCL device ID.


II. BENCHMARKS

Open the benchmark's folder in the benchmarks directory. Each folder contains a README
describing how to compile and run the benchmark.