Feature #7451
Updated by Evgeny Novikov almost 7 years ago
From very ancient times verifier options were specified in jobs, in VTG strategies and in schedulers. I fixed this for schedulers, but just move options to VTG strategies. So now VTG strategies are the only Klever components for which default options are specified in jobs in source code (what is about LKVOG?..). I suppose to place near "linux-3.14/rule specs.json" (the rule specifications base) "verifier.json" where all default options for various strategies and verifiers should be specified. This file will be symlinked by other existing preset jobs.
Recently several new rule specifications, namely, _generic:memory_ and _sync:race_, we introduced and required dedicated verifier versions, configurations and options. That's why in addition I suppose to specify all these things both globally and for corresponding properties. From this point of view it has sense to specify them not in a separate configuration file but directly within _rule specs.json_.