Issue312

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title Assertion failure in rule.validate() (build_model.py line 91)
Priority bug Status resolved
Superseder Nosy List malte, patrik
Assigned To malte Keywords
Optional summary 


















Created on 2012-01-04.08:28:12 by patrik, last changed  by malte.






 
Files

 

  File name
  Uploaded
  Type
  Edit
  Remove
 

 

  
   ry-story-jt-1.pddl
  
  
   malte,
   2012-01-07.20:06:55
  
  application/octet-stream
  
  
  
   
  
 

 

  
   ry-story-jt.pddl
  
  
   malte,
   2012-01-07.20:06:43
  
  application/octet-stream
  
  
  
   
  
 

 

  
   ry-story-mp-1.pddl
  
  
   patrik,
   2012-01-04.08:28:38
  
  application/octet-stream
  
  
  
   
  
 

 

  
   ry-story-mp.pddl
  
  
   patrik,
   2012-01-04.08:28:11
  
  application/octet-stream
  
  
  
   
  
 






 
Messages

 
  

   msg2030 (view)
   Author: malte
   Date: 2012-01-07.20:27:32
   
    
   
  

  

   
    
Fixed. My previous fix worked incorrectly when the same variable name occurred
3+ times in the same atom.

   		
  

 
 
  

   msg2029 (view)
   Author: malte
   Date: 2012-01-07.20:06:43
   
    
   
  

  

   
    
Seems like this is not yet properly fixed. Attaching another failing example
provided by Patrik.

   		
  

 
 
  

   msg2016 (view)
   Author: malte
   Date: 2012-01-04.12:32:22
   
    
   
  

  

   
    
Fixed. It was a rather blatant bug in a method which I thought I had tested
properly. Oh well. Anyway, thanks again for reporting! :-)

   		
  

 
 
  

   msg2015 (view)
   Author: malte
   Date: 2012-01-04.10:21:17
   
    
   
  

  

   
    
Thanks for reporting! I'll have a look.

   		
  

 
 
  

   msg2014 (view)
   Author: patrik
   Date: 2012-01-04.08:28:38
   
    
   
  

  

   
    
(attached problem file)

   		
  

 
 
  

   msg2013 (view)
   Author: patrik
   Date: 2012-01-04.08:28:11
   
    
   
  

  

   
    
Attached problem causes the assertion

assert (left_vars | right_vars) == (left_vars & right_vars) | eff_vars

in rule.validate() (translator/build_model.py line 91) to fail. Is this a bug or
a limitation of the translator?

   		
  

 





History


Date
User
Action
Args



2012-01-07 20:27:33maltesetstatus: chatting -> resolved
messages:
  + msg2030


2012-01-07 20:06:55maltesetfiles:
  + ry-story-jt-1.pddl


2012-01-07 20:06:44maltesetfiles:
  + ry-story-jt.pddl
status: resolved -> chatting
messages:
  + msg2029


2012-01-04 12:32:22maltesetstatus: chatting -> resolved
messages:
  + msg2016


2012-01-04 10:21:17maltesetassignedto: malte
messages:
  + msg2015


2012-01-04 08:30:12patriksetnosy:
  + malte


2012-01-04 08:28:38patriksetfiles:
  + ry-story-mp-1.pddl
status: unread -> chatting
messages:
  + msg2014


2012-01-04 08:28:12patrikcreate