Exactly, I thought that the main point is verify the correctness of the Rules, If I misunderstood that sorry..<div>If you are talking about only finding bugs in the Drools code, it will be the same as finding bugs in any other project right?</div>
<div>I&#39;m just curious..</div><div><br></div><div>Best Regards!<br><br><div class="gmail_quote">On Mon, Sep 19, 2011 at 1:14 PM, Wolfgang Laun <span dir="ltr">&lt;<a href="mailto:wolfgang.laun@gmail.com">wolfgang.laun@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On 19 September 2011 17:57, Mauricio Salatino <span dir="ltr">&lt;<a href="mailto:salaboy@gmail.com" target="_blank">salaboy@gmail.com</a>&gt;</span> wrote:<br>
</div><div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="border-left:1px solid rgb(204, 204, 204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex">
Hi Jiri,<div>Drools Verifier do that for you? Am I right?</div></blockquote></div><div><br>I think this is a misunderstanding. Looking at Drools&#39; Java code takes a Java bug finding program such as findbugs. What Drools Verifier does is: look at DRL code written by Drools users.<br>

<br>Findbugs applied to Drools code is a good idea, but I would opt for this to include fundamental code that&#39;s <i>used </i>by Drools and responsible for a considerable number of JIRAs.<br><font color="#888888"><br>-W<br>
<br> </font></div><div><div></div><div class="h5"><blockquote class="gmail_quote" style="border-left:1px solid rgb(204, 204, 204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex">
<div> Toni Rikkola is the man behind drools verifier, you can talk with him to improve what he has now. I know that Esteban was also playing with that and adding the concept of Working Set. You can talk with him as well.</div>


<div>Cheers<br><br><div class="gmail_quote"><div>On Mon, Sep 19, 2011 at 12:43 PM, Ansgar Konermann <span dir="ltr">&lt;<a href="mailto:ansgar.konermann@googlemail.com" target="_blank">ansgar.konermann@googlemail.com</a>&gt;</span> wrote:<br>


</div><blockquote class="gmail_quote" style="border-left:1px solid rgb(204, 204, 204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex"><div><p>If I&#39;m eligible to vote, please go for option 1. </p>
<div class="gmail_quote">Am 19.09.2011 17:14 schrieb &quot;Jiri Svitak&quot; &lt;<a href="mailto:jsvitak@redhat.com" target="_blank">jsvitak@redhat.com</a>&gt;:<br type="attribution"></div>
<br></div><div>_______________________________________________<br>
rules-dev mailing list<br>
<a href="mailto:rules-dev@lists.jboss.org" target="_blank">rules-dev@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-dev</a><br>
<br></div></blockquote></div><font color="#888888"><br><br clear="all"><div><br></div>-- <br> - CTO @ <a href="http://www.plugtree.com" target="_blank">http://www.plugtree.com</a>  <br> - MyJourney @ <a href="http://salaboy.wordpress.com" target="_blank">http://salaboy.wordpress.com</a><div>


- Co-Founder @ <a href="http://www.jugargentina.org" target="_blank">http://www.jugargentina.org</a><br> - Co-Founder @ <a href="http://www.jbug.com.ar" target="_blank">http://www.jbug.com.ar</a><br> <br> - Salatino &quot;Salaboy&quot; Mauricio -</div>


<br>
</font></div>
<br>_______________________________________________<br>
rules-dev mailing list<br>
<a href="mailto:rules-dev@lists.jboss.org" target="_blank">rules-dev@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-dev</a><br>
<br></blockquote></div></div></div><br>
<br>_______________________________________________<br>
rules-dev mailing list<br>
<a href="mailto:rules-dev@lists.jboss.org">rules-dev@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-dev</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br> - CTO @ <a href="http://www.plugtree.com" target="_blank">http://www.plugtree.com</a>  <br> - MyJourney @ <a href="http://salaboy.wordpress.com" target="_blank">http://salaboy.wordpress.com</a><div>
- Co-Founder @ <a href="http://www.jugargentina.org" target="_blank">http://www.jugargentina.org</a><br> - Co-Founder @ <a href="http://www.jbug.com.ar" target="_blank">http://www.jbug.com.ar</a><br> <br> - Salatino &quot;Salaboy&quot; Mauricio -</div>
<br>
</div>