<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Hi Shyamjith!<br>
The full list of available rule models can be found in
kernel-rules/model-db.xml. See tags like <model id="32_7a"><br>
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"<br>
To run several models you need to pass them in parameter
'rule_models'
as string separated by space, like <br>
"rule_models=08_1a 10_1a 32_7a"<br>
Suffix 'a' means that the rule model uses CIF framework
(<a class="moz-txt-link-freetext" href="http://forge.ispras.ru/projects/cif/">http://forge.ispras.ru/projects/cif/</a>). '_7a' means that the model
additionally uses template processor. See
<a class="moz-txt-link-freetext" href="http://forge.ispras.ru/projects/ldv/wiki/Formalizing_Safety_Rules_2">http://forge.ispras.ru/projects/ldv/wiki/Formalizing_Safety_Rules_2</a><br>
<br>
Best,<br>
Vadim<br>
<br>
07.01.2016 07:54, Shyamjith K V пишет:<br>
</div>
<blockquote
cite="mid:CABL4uh_0LL=YHk52mMcXQ9W_ckfQ+irWCNOcdKeaOr_yPv2s1w@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)">Hi,</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)"><br>
</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)">I
would like to get the following information about LDV Rule
Models.</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)"><br>
</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)">1.What
that number after 'underscore' of the rule model stands for?
say like '32_7', '32_1', '32_7a' (Given in the tutorial)</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)"><br>
</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)">2.Which
are the presently available rule models? whether all the
models described in
ldv-tools/kernel-rules/rules/DRVRULES_en.trl are available?</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)"><br>
</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)">3.
How can i test the driver against all the available modes in a
single test?</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif;font-size:small;color:rgb(11,83,148)"><br>
</div>
<div><br>
</div>
-- <br>
<div class="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">Regards,
<div>Shyamjith K V</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<br>
</body>
</html>