Skip to content

SMG: CI: add tests for handleUnknownFunctions and handleUnknownDereferenceAsSafe

Петров Олег Максимович requested to merge add-unknown-deref-tests into smg-master

Add the tests for 'cpa.smg.handleUnknownFunctions' from smg_options_test to CI. Rename the sets and update patterns inside, so it does not pick the test for dereference in the same tasks.

Add the test for 'cpa.smg.handleUnknownDereferenceAsSafe' from #12; note, it is not solved, so for true the verdict is wrong.

Note, my CI script does not work well with dependant (child) tasks/rundefs, so I had to use two XML files and name the tasks the same in one file.

Edited by Петров Олег Максимович

Merge request reports