Add in send and recieve code

Fix rvirding#47

src/erlog_mailbox.erl

@@ -0,0 +1,19 @@
+-module(erlog_mailbox).
+
+-include("erlog_int.hrl").
+
+-compile(export_all).
+
+
+send(Pid, Msg) ->
+    Pid ! Msg,
+    {succeed_last,Msg}.
+
+receive_msg(Timeout) ->
+    receive
+	Msg ->
+	    {succeed_last, Msg}
+    after Timeout ->
+	    fail
+    end.
+

stdlib/erlang.pl

@@ -46,3 +46,19 @@
 	N is Place + 1,
 	get_record(RecordName, Rest, N).
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Send and receive
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+send(Pid,Msg) :-
+	ecall(erlog_mailbox:send(Pid,Msg),_).
+
+receive(Msg,Timeout) :-
+	ecall(erlog_mailbox:receive_msg(Timeout),Msg).
+
+receive(Msg) :-
+	receive(Msg, infinity).
+
+

test/erlog_mailbox_tests.erl

@@ -0,0 +1,44 @@
+-module(erlog_mailbox_tests).
+
+-include_lib("eqc/include/eqc.hrl").
+-include_lib("eunit/include/eunit.hrl").
+-compile(export_all).
+-include("erlog_test.hrl").
+
+make_erlog() ->
+    application:set_env(erlog, consult_path, [".", "../stdlib"]),
+    {ok, ERLOG}			= erlog:new(),
+    erlog:consult(ERLOG,"erlang.pl").
+
+prop_send() ->
+    ?FORALL(Msg,
+	    {word,non_empty(list(choose(65,90)))},
+	    begin
+		{ok, ERLOG1}                    = make_erlog(),
+		{{succeed, _R}, _ERLOG2}	= erlog:prove(ERLOG1, {send, self(), Msg}),
+		receive
+		    Msg ->
+			true
+		after 100 ->
+			false
+		end
+	    end).
+
+
+prop_recieve() ->
+    ?FORALL(Msg,
+	    {word,non_empty(list(choose(65,90)))},
+	    begin
+		{ok, ERLOG1}                    = make_erlog(),
+		self() ! Msg,
+
+		{{succeed, R}, _ERLOG2}	= erlog:prove(ERLOG1, {'receive', {'Msg'}, 500}),
+		Msg =:= proplists:get_value('Msg', R)
+	    end).
+
+recieve_after_test() ->			     
+    {ok, ERLOG1}                    = make_erlog(),
+    ?assertMatch({fail, _}, erlog:prove(ERLOG1, {'receive', {'Msg'}, 5})),
+    true.
+
+