Skip to content
Browse files

Removed old eqc test.

  • Loading branch information...
1 parent a1e4651 commit f4bff7c7e692863001ff05bf5a4201c9e61642fe @massung massung committed Jan 25, 2012
Showing with 0 additions and 38 deletions.
  1. +0 −38 test/session_eqc.erl
View
38 test/session_eqc.erl
@@ -1,38 +0,0 @@
--module(session_eqc).
-
--ifdef(EQC).
-
-%% EQC headers
--include_lib("eqc/include/eqc_statem.hrl").
--include_lib("eqc/include/eqc.hrl").
-
-%% public api
--compile(export_all).
-
--define(SESSION(F), {call,riak_control_session,F,[]}).
-
-%% ====================================================================
-%% Tests
-%% ====================================================================
-
-
-initial_state () ->
- not_running.
-
-
-next_state (not_running,{ok,Pid},?SESSION(start_link)) ->
- test_nodes;
-next_state (test_nodes,_,?SESSION(get_nodes)) ->
- shutdown.
-
-
-command (not_running) -> ?SESSION(start_link);
-command ({test_nodes,Pid}) -> ?SESSION(get_nodes).
-
-
-precondition (_,_) -> true.
-postcondition (_,_,_) -> true.
-
-
-%% -? EQC
--endif.

0 comments on commit f4bff7c

Please sign in to comment.
Something went wrong with that request. Please try again.