[Mcerlang-questions] McErlang failure on Mac

[Clara Benac Earle]

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