Geen error bij aanroepen proctype
Epispin accepteert:
proctype check(){ skip; }; init{ check() };Waarbij de een na laatste regel moet zijn “run check();”
Submitted by Bob de Vos on 17 August 2011 at 16:49
Issue Log
On 17 August 2011 at 16:49 Bob de Vos tagged 1.0.1
On 17 August 2011 at 16:57 Bob de Vos commented:
Dit komt doordat Spin denkt dat er een inline call gemaakt wordt. Dit moet opgelost zijn zodra er een check is ingebouwd die kijkt of de inline call ook daadwerkelijk gedefinieerd is.
On 25 August 2011 at 11:38 Bob de Vos removed tag 1.0.1
On 20 September 2011 at 14:57 Bob de Vos tagged errormessage
On 3 October 2011 at 15:19 Bob de Vos tagged fixed1.0.3
On 3 October 2011 at 15:19 Bob de Vos closed this issue.
Log in to post comments