[Mcerlang-questions] McErlang failure on Mac

[Árni Hermann Reynisson]

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>

> 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
>> https://babel.ls.fi.upm.es/cgi-bin/mailman/listinfo/mcerlang-questions
>>
>>
>
>


-- 
Kveðja,
Árni Hermann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://babel.ls.fi.upm.es/pipermail/mcerlang-questions/attachments/20100922/1cd9c80b/attachment.htm>