It makes sense that the execution does not work when no AWSXCLBIN nor XCLBIN is found, but, in my case, this situation causes a segfault on the call to cl::Program, which is difficult to diagnose.
Maybe find_binary_file in xcl2.cpp should at least specify whether we found an .awsxclbin, an .xclbin, or neither and at least warn that finding neither may cause errors?
It makes sense that the execution does not work when no AWSXCLBIN nor XCLBIN is found, but, in my case, this situation causes a segfault on the call to
cl::Program, which is difficult to diagnose.Maybe
find_binary_fileinxcl2.cppshould at least specify whether we found an .awsxclbin, an .xclbin, or neither and at least warn that finding neither may cause errors?