[jboss-jira] [JBoss JIRA] Assigned: (JBRULES-2344) Pattern analysis can never be satisfied, however the rule is logically correct

Pattern analysis can never be satisfied, however the rule is logically correct ------------------------------------------------------------------------------ Key: JBRULES-2344 URL: https://jira.jboss.org/jira/browse/JBRULES-2344 Project: Drools Issue Type: Bug Security Level: Public(Everyone can see) Components: drools-verifier Affects Versions: 5.0.1.FINAL Environment: MacBook Pro 17" Core 2 Duo Ubuntu 9.10 64bit (native, not virtualized) - Apache Tomcat 6.0.18 - Java 6 Reporter: Claudio Gargiulo Assignee: Toni Rikkola When I launch the analysis of a rule I get the following message: Pattern, name: TrafficoEntrata in Rule 'backToNormal' can never be satisfied. Pattern, name: StatoRete in Rule 'backToNormal' can never be satisfied. The Rule "backToNormal" is the following: rule "backToNormal" dialect "mvel" when exists Attacco( ) attack : Attacco( ) StatoRete( numero_utenti > "25" && < "80" ) TrafficoEntrata( banda_occupata > "20" && < "80" ) then retract( attack ); end The integer values are taken from an enumeration. Altering the conditions in this way: numero_utenti >"25", numero_utenti < "80" makes no difference at analysis time.