External Error: Could not load model file ../lib/models.sql

[SolomonSun2010]

Please make sure your issue is not addressed in the FAQ.

Please include the following information:

• [x] The version of infer from infer --version. Infer version v1.1.0--b4f935464b Infer version v1.1.0 download form this site also has the error

• [x] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc. Ubuntu 20.04

• [x] Which command you ran, for example infer -- make. infer -- javac Hello.java

• [x] The full output in a paste, for instance a gist. External Error: Could not load model file /mnt/disk/jslave/../lib/models.sql Error backtrace: Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 405, characters 28-54 Called from StdioIn_channel.create in file "src/in_channel.ml" (inlined), line 14, characters 2-35 Called from IBaseUtils.with_file_in in file "src/base/Utils.ml", line 224, characters 11-33 Called from IBaseDatabase.load_model_specs in file "src/base/Database.ml", line 121, characters 6-151 Re-raised at IBaseDie.raise_error.do_raise in file "src/base/Die.ml" (inlined), line 26, characters 8-56 Called from IBaseLogging.die.(fun) in file "src/base/Logging.ml", line 338, characters 6-39 Called from IBaseDatabase.load_model_specs in file "src/base/Database.ml", line 126, characters 6-88 Called from IBase__ResultsDir.prepare_logging_and_db in file "src/base/ResultsDir.ml" (inlined), line 110, characters 52-87 Called from IBaseResultsDir.create_results_dir in file "src/base/ResultsDir.ml" (inlined), line 127, characters 2-27 Called from Duneexe__Infer.setup in file "src/infer.ml", line 59, characters 6-38

• [x] 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). https://fbinfer.com/docs/hello-world#hello-world-java

[nibienaohehe]

I also encountered the same issue. This is a permission issue and can be addressed by granting executable permissions to the models.sql file.

[Daolot]

Same error. Is there WA?