Az swsv lab1 készítése közben futottam bele, hogy az infer esetemben mind az Algorithms (6 helyett 3) mind a TripleGeo (3 helyett 1) projekteken kevesebb hibát detektál, mint ami a leírásban említve van, illetve amit csoporttársaim esetében.
Igyekeztem követni a leírást szó szerint, a parancsok is megfelelően futottak.
Config amin fut:
VirtualBox-on Ubuntu 18.04.3 LTS version
Java : openJDK 11.0.4 2019-07-16
Infer: 0.17.0
Miért lehet hogy kevesebb hibát detektál az Infer?
