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

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 38 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.