epispin accepts inline calls with no brackets whereas spin doesn’t.

mtype = {a, b};

inline c() {assert (true);}

init{

do

:: false -> c;// error here

:: true  -> c();

od;

}

Submitted by Kees Pronk on 6 September 2011 at 18:12

On 23 September 2011 at 13:40 Bob de Vos tagged fixed1.0.2

On 23 September 2011 at 13:40 Bob de Vos closed this issue.

On 6 October 2011 at 15:02 Bob de Vos removed tag fixed1.0.2

On 6 October 2011 at 15:03 Bob de Vos tagged fixed1.0.3

Log in to post comments