[Mcerlang-questions] McErlang failure on Mac

[Clara Benac Earle]

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
>