Tests

Infer testy se nachází v adresáři infer/tests a spouští se příkazem make test -j NDKBUILD=no z kořenového adresáře projektu. Testy pro samotnou analýzu jsou v podadresáři codetoanalyze. Tam jsou podadresáře pro testy pro jednotlivé programovací jazyky a uvnitř podadresáře pro testy pro jednotlivé analýzy. Tady jsou např. testy pro RacerD pro Javu. Další informace o těchto testech jsou zde.

Atomer testy se nachází v adresáři infer/tests/atomicity/atomer a spouští se příkazem ./infer/tests/atomicity/atomer/run.sh z kořenového adresáře projektu. Jsou tam podadresáře pro jednotivé testy. Analyzovaný zdrojový kód se většinou nachází v souboru main.c, main.cpp nebo Test.java. Soubory atomic-sets-exp obsahují očekávaný výstup z 1. fáze analýzy, tedy množiny atomických volání funkcí. Soubory report.json obsahují očekávaný výstup z 2. fáze analýzy, tj. nahlášené porušení atomicity.

Všechny testy se automaticky spouští při každém commitu a pull-requestu do hlavní větve Atomeru (atomicity-sets), viz Atomer GitHub Actions workflow.