Cleanup (and rename) test for handling symbolic states with improper lists

Author: kostis

THANKS

@@ -18,6 +18,9 @@ pull requests that have been incorporated in PropEr's code base:
  15. Pino Toscano
  16. Garret Smith
  17. Michael Uvarov
+ 18. Magnus Lång
+ 19. Manuel Cherep
+ 20. Matthias Kretschmer
 
 We sincerely thank them for making PropEr a better tool.
 

test/improper_lists_statem.erl

@@ -0,0 +1,37 @@
+%%---------------------------------------------------------------------
+%% From Matthias Kretschmer
+%%
+%% I encountered the problem that I cannot have improper lists in my
+%% symbolic state. As I like to use a dictionary which might include
+%% improper lists, I made this little fix (#102).
+%%---------------------------------------------------------------------
+-module(improper_lists_statem).
+-export([command/1, initial_state/0, next_state/3,
+	 precondition/2, postcondition/3, foo/1]).
+
+-include_lib("proper/include/proper.hrl").
+
+command(_State) ->
+    return({call, ?MODULE, foo, [[a|b]]}).
+
+initial_state() ->
+    state.
+
+next_state(State, _, _) ->
+    State.
+
+precondition(_, _) ->
+    true.
+
+postcondition(_, _, _) ->
+    true.
+
+foo(_Something) ->
+    ok.
+
+prop_simple() ->
+    ?FORALL(Cmds, commands(?MODULE),
+	    begin
+		{_H,_S,Res} = run_commands(?MODULE, Cmds),
+		equals(Res, ok)
+	    end).

test/lists_statem.erl

@@ -885,13 +885,13 @@ true_props_test_() ->
 		  {three, conjunction([{a,true},{b,true}])}
 	      ])),
      ?_passes(?FORALL(X, untyped(), is_record(X, untyped))),
+     ?_passes(improper_lists_statem:prop_simple()),
      ?_passes(pdict_statem:prop_pdict()),
      ?_passes(symb_statem:prop_simple()),
      {timeout, 20, ?_passes(symb_statem:prop_parallel_simple())},
      {timeout, 10, ?_passes(ets_statem:prop_ets())},
      {timeout, 20, ?_passes(ets_statem:prop_parallel_ets())},
-     {timeout, 20, ?_passes(pdict_fsm:prop_pdict())},
-     ?_passes(lists_statem:prop_simple())].
+     {timeout, 20, ?_passes(pdict_fsm:prop_pdict())}].
 
 false_props_test_() ->
     [?_failsWith([[_Same,_Same]],