[Mcerlang-questions] McErlang failure on Mac
Árni Hermann Reynisson
arnihr at gmail.com
Mon Sep 27 12:55:19 CEST 2010
Hi Clara
I'm a MSc software engineering student at Reykjavik University, working on
adding time to Rebeca, which is an actor based language for modelling and
verification of reactive systems. I'm translating Rebeca models to erlang
code and using McErlang to run real-time simulations of them. You can see
http://www.reykjavikuniversity.is/icerose/applying-formal-methods/ and
http://ece.ut.ac.ir/FML/ for more information on Rebeca.
I've signed up on the mailing list, I'm sure I will have more questions
later on in my project.
Also, I'm curious, are there any plans for real-time semantics in the model
checker?
Regards,
Árni Hermann
2010/9/23 Clara Benac Earle <cbenac at fi.upm.es>
> Hi Árni,
>
> Great that the Simple_messenger works now, please let us know if we can
> help you further. And please subscribe to our mcerlang-questions mailing
> list if you want your messages to appear directly in the mailing list
> without waiting for the administrator to accept them.
>
> By the way, we are curious about what you are using McErlang for, could you
> tell us more?
>
> Best regards,
>
> Clara
>
>
> Árni Hermann Reynisson wrote:
>
>> Hi Clara
>>
>> Thank you so much! Simple_messenger works now, I think I've been running
>> it wrong (mcerl, c(run), run:safety()), that is, it works from the ebin
>> folder.
>>
>> I will try now with my own code. Thanks again!
>>
>> 2010/9/22 Clara Benac Earle <cbenac at fi.upm.es <mailto:cbenac at fi.upm.es>>
>>
>>
>> Dear Árni,
>>
>> First of all I tried the example in my machine and it worked fine.
>> Just to be sure I had not changed anything locally, I moved the
>> Simple_messenger files and directories to another directory and
>> typed "svn update" to make sure I was working with the latest
>> version in the repository. The example worked fine for me.
>>
>> You mention that you have tried to fix it yourself so I suggest we
>> try afresh from the start.
>>
>> 1) Create a new directory for McErlang or move the files and
>> directories that you have now in the McErlang directory to another
>> directory
>> 2) Type "svn update"
>> 3) Go to the directory where McErlang is stored and type "make"
>> 4) Go to the McErlang/examples/Simple_messenger directory and type
>> "make"
>> 5) Go to the McErlang/examples/Simple_messenger/ebin directory and
>> type "mcerl"
>> 6) Then type "run:safety()."
>>
>> Let me know how it goes now.
>>
>>
>> Clara
>>
>>
>>
>>
>> Árni Hermann Reynisson wrote:
>>
>> Hi McErlang team!
>>
>> I've recently been trying to do some work with mcerlang but
>> I've been stuck when it comes to running mcerlang on my
>> Macbook (Snow Leopard).
>>
>> Running erl, I get the following output to my console:
>>
>> Erlang R13B04 (erts-5.7.5) [source] [64-bit] [smp:2:2] [rq:2]
>> [async-threads:0] [hipe] [kernel-poll:false]
>>
>> The problem arises even if I try to run the Simple_messenger
>> example. Following commands show what is inputted and
>> outputted on the console when executing the example from the
>> Simple_messenger directory:
>>
>>
>> ----------------------------------------------------------------------------------------------------
>> $ make
>> $ mcerl
>>
>> 1> c(run).
>> {ok,run}
>> 2> run:safety().
>> Starting McErlang model checker version
>> "McErlang 2.0 [revision ++ compiled on Fri Sep 17 13:28:00 GMT
>> 2010]" ...
>>
>> Starting algorithm mce_alg_safety with options
>> void
>> on program
>>
>> scenario:start([[{logon,clara},{message,fred,"hola"},logoff],[{logon,fred}]])
>> with monitor mce_mon_test(ok)
>>
>> Conf to run with is
>> #mce_opts{transitions = #Fun<mce_erl_opsem.transitions.2>,
>> commit = #Fun<mce_erl_opsem.commit.3>,
>> sim_external_world = false,random = false,shortest =
>> false,
>> terminate = false,is_simulation = false,
>> algorithm = {mce_alg_safety,void},
>> monitor = {mce_mon_test,ok},
>> abstraction = {mce_abs_norm,ok},
>> scheduler = {mce_sched_rnd,false},
>> table = {mce_table_hash,[]},
>> stack = {mce_stack_list,[]},
>> small_pids = true,notice_exits = true,fail_on_exit =
>> true,
>> sim_actions = false,output = false,sim_keep_stack = true,
>> start_debugger = false,save_result = true,
>> language = mce_erl_opsem,distributed_semantics = false,
>> chatter = normal,
>> program = {scenario,start,
>>
>> [[[{logon,clara},{message,fred,"hola"},logoff],
>> [{logon,fred}]]]},
>> record_actions = true,is_infinitely_fast = false,
>> funinfo =
>> "/usr/local/bin/../mcerlang/scripts/../configuration/funinfo.txt",
>> save_table = false,debugger = mce_erl_debugger,rpc =
>> false,
>> mce_monitor = <0.35.0>}
>>
>>
>>
>>
>>
>> *** User code generated error
>> exception error due to reason undef
>> Stack trace:
>>
>> scenario:start/1([[{logon,clara},{message,fred,"hola"},logoff],[{logon,fred}]])
>> mce_erl_opsem:runUserCode/2
>> mce_erl_opsem:doStep/2
>> mce_alg_safety:'-transitions/5-fun-0-'/6
>> lists:map/2
>> mce_alg_safety:run/4
>> mce_alg_safety:start/4
>> mce:start_running/2
>>
>> Stack depth 1 entries.
>>
>> Reductions: 0.04 mreds; Runtime: 0.010 seconds; 0.02 elapsed
>> seconds Access result using mce:result()
>> To see the counterexample type
>> "mce_erl_debugger:start(mce:result()). "
>> ok
>>
>>
>> ----------------------------------------------------------------------------------------------------
>>
>> I've also tried running mcerlang from within ubuntu inside
>> virtualbox with the same results. The ubuntu erlang gives
>>
>> Erlang R13B01 (erts-5.7.2) [source] [rq:1] [async-threads:0]
>> [kernel-poll:false]
>>
>>
>> Do you guys have any thoughts on this issue? I ventured into
>> fixing this myself with no result, since my knowledge of
>> mcerlang internals are not well known.
>>
>> -- Regards,
>> Árni Hermann
>>
>> ------------------------------------------------------------------------
>>
>> _______________________________________________
>> mcerlang-questions mailing list
>> mcerlang-questions at babel.ls.fi.upm.es
>> <mailto:mcerlang-questions at babel.ls.fi.upm.es>
>>
>>
>> https://babel.ls.fi.upm.es/cgi-bin/mailman/listinfo/mcerlang-questions
>>
>>
>>
>>
>>
>> --
>> Kveðja,
>> Árni Hermann
>>
>
>
--
Kveðja,
Árni Hermann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://babel.ls.fi.upm.es/pipermail/mcerlang-questions/attachments/20100927/20071516/attachment.htm>
More information about the mcerlang-questions
mailing list