Spinroot

Dharma

Member

Registered: 2011-09-21

Posts: 13

Modex - syntax error

Tried the threads.c example given in the manual of Modex. Got this syntax error:

pan.m: In function 'do_transit':

pan.m:29: error: 'P1' has no member typed 'tmp'
pan.m:41: error: 'P1' has no member typed 'tmp'
pan.m:53: error: 'P1' has no member typed 'tmp'

pan.m:102: error: 'P0' has no member typed 'tmp'
pan.m:114: error: 'P0' has no member typed 'tmp'
pan.m:126: error: 'P0' has no member typed 'tmp'

No Errors Found

Any comment?

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: Modex - syntax error

you should disable the new scope rules that went into effect with spin version 5.3.0
(simply add the flag -O when you generate pan.c:  spin -O -a model.pml)
modex predates version 5.3 by quite a bit...

Dharma

Member

Registered: 2011-09-21

Posts: 13

Re: Modex - syntax error

Great. Just modified the modex.c to use spin instead of spin4, and also added -O option directly in the modex.c file.

It works! Cool stuff. Thanks.

Last edited by Dharma (2011-09-24 18:36:33)

xeron40

Member

Registered: 2011-10-21

Posts: 1

Re: Modex - syntax error

Easy

___
[url=http://www.xn--r3ce0ab1b.com/]ผลบอล[/url]-[url=http://www.sbobetsbobet.com/]sbobet[/url]-[url=http://www.xn--r3ce0ab1b.com/analyse_list.php]วิเคราะห์บอล[/url]-[url=http://www.xn--r3ce0ab1b.com/analyse_list.php]ทีเด็ดฟุตบอล[/url]-[url=http://www.xn--r3ce0ab1b.com/analyse_list.php]ทีเด็ด[/url]

Last edited by xeron40 (2011-10-27 11:21:18)