underscore not supported??
Epispin seems unable to handle the following program (book page 373) probably because of the underscores. Spin thinks the program is OK.
…
chan q = [3] of {byte};
init{
do
:: q?,;:: empty(q) -> break; od;}
…
Submitted by Kees Pronk on 29 August 2011 at 11:44
Issue Log
On 29 August 2011 at 17:24 Bob de Vos commented:
Fixed.
On 29 August 2011 at 17:24 Bob de Vos closed this issue.
On 29 August 2011 at 17:24 Bob de Vos tagged fixed1.0.2
Log in to post comments