[Tinyos-devel] cc2420 radio stack and deputy

[John Regehr]

Ok here is the Deputy error message (for RadioCountToLeds from HEAD on 
telosb):

AMQueueImplP$0$queue <= AMQueueImplP$0$queue + last + 1 (with no 
overflow): /home/regehr/tinyos-2.x/tos/system/AMQueueImplP.nc:156: 
Assertion failed in CPtrArithAccess:
   AMQueueImplP$0$queue + last + 1 <= AMQueueImplP$0$queue + 1 (with no 
overflow)

translation: Deputy thinks that "last" is out of bounds at line 156 of 
AMQueueImplP.nc.

Can someone more familiar with this component check if this is plausible?

Vlado it would be nice if you could confirm that this is the error you are 
also seeing.  The Safe TinyOS web page explains how to decode the error 
message (see "interpreting safety violations").  You would need to "make 
install" in tinyos-2.x/tools to get the script installed.

Thanks,

John