You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There is an error in the bash script when installing from binaries. The filename of the binary file is different from the current one.
Provide a snippet that works correctly.
If possible, a minimal example to reproduce your problem (for instance, some code where
infer reports incorrectly, together with the way you run infer to reproduce the incorrect
report).
running current script.
I'm sorry for this text only, not in the form of a pull request.
Thank you for creating such wonderful software.
The text was updated successfully, but these errors were encountered:
There is an error in the bash script when installing from binaries. The filename of the binary file is different from the current one.
Provide a snippet that works correctly.
Getting started with Infer/Get Infer
This script works correctly at Windows 11 WSL/Ubuntu and MX Linux 23.3
Please include the following information:
infer --version
.Infer version v1.2.0
(This is after installing using the script proposed this time.)infer -- make
.xz: (stdin): File format not recognized
etc..infer reports incorrectly, together with the way you run infer to reproduce the incorrect
report).
I'm sorry for this text only, not in the form of a pull request.
Thank you for creating such wonderful software.
The text was updated successfully, but these errors were encountered: