[Mcerlang-questions] McErlang failure on Mac

[Clara Benac Earle]

Hi Árni,

Thanks for your email and for your interest in McErlang!

I will have a look tomorrow and I will come back to you asap.

Good night!
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
>