-
Notifications
You must be signed in to change notification settings - Fork 198
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
How to specify the python interpreter path in benchexec? #891
Comments
The stacktrace and the error message do not seem to come from BenchExec, there is nothing in it that references BenchExec. Instead what seems to happen is that Can you please clarify what you are attempting? Are you trying to benchmark something called |
We develop a verification tool named
which means the wrong python interpreter( |
So this stacktrace appears as part of the output of your tool? Not of BenchExec, correct? cgroups have nothing to do with which files can be found, but containers do. Are you hiding any directories inside the container with What is the content of What is your |
Yes. This stacktrace is as part of the output of our tool, not of BenchExec. I add parameter The When BenchExec calls our intergrated tool |
Please provide the content of
This is crucial information in such cases, please always provide all parameters that you use when asking for help. Please provide the output of |
Do you still have this problem? |
Yes.
However, I cannot provide the source code of
Besides, the container mode is also unavailable in my system, with the following error messages:
The current solution for me is to run I am not sure whether the |
Note: I strongly recommend to not turn off container mode just because it does not work on your system with the default settings. You will loose a lot of features and reliability of your benchmarking. In this case your kernel likely is affected by #776 and you simply need to use Please provide at least the first few lines of |
Do you still have this problem and would like to solve it? Then please provide the requested information. |
When I use the python virtual environment such as
Everything is ok. However, if I want to the python interpreter in
/home/user/.local/bin/python
and then we executeThis Benchexec framework tells us that
tool
distribution was not found. We found the default python interpreter in/usr/local/python38/bin/python
is called, and is not the python interpreter we want. The error message is as follows:The reason is that the wrong python interpreter(
/usr/local/python38/bin/python
) is called, and we want to use the correct python interpreter (/home/user/.local/bin/python
).How can we solve the problem without using the python virtual environment?
The text was updated successfully, but these errors were encountered: