[ldv-project] LDV Rule Models

[Vadim Mutilin]

Hi Shyamjith!
The full list of available rule models can be found in 
kernel-rules/model-db.xml. See tags like <model id="32_7a">
Here is the list of rule models which we run on a regular basis "08_1a, 
10_1a, 32_7a, 39_7a, 43_1a, 68_1a, 77_1a, 100_1a, 101_1a, 106_1a, 
118_7a, 129_1a, 130_7a, 132_1a, 134_1a, 136_1a, 146_1a, 147_1a, 148_7a, 
150_1a, 151_1a, 152_1a, 153_7a"
To run several models you need to pass them in parameter 'rule_models' 
as string separated by space, like
     "rule_models=08_1a 10_1a 32_7a"
Suffix 'a' means that the rule model uses CIF framework 
(http://forge.ispras.ru/projects/cif/). '_7a' means that the model 
additionally uses template processor. See 
http://forge.ispras.ru/projects/ldv/wiki/Formalizing_Safety_Rules_2

Best,
Vadim

07.01.2016 07:54, Shyamjith K V пишет:
> Hi,
>
> I would like to get the following information about LDV Rule Models.
>
> 1.What that number after 'underscore' of the rule model stands for? 
> say like '32_7', '32_1', '32_7a' (Given in the tutorial)
>
> 2.Which are the presently available rule models? whether all the 
> models described in ldv-tools/kernel-rules/rules/DRVRULES_en.trl are 
> available?
>
> 3. How can i test the driver against all the available modes in a 
> single test?
>
>
> -- 
> Regards,
> Shyamjith K V

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20160114/808fedf9/attachment.html>