options: add flag whether we are in sv-comp or test-comp settings
options: add flag whether we are in sv-comp or test-comp settings

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic