anchor.diff:  	] end}}.
   
   prop_map_statem() ->
  -	%?FORALL(Cmds, triq_statem:commands(?MODULE), begin
   	?FORALL(Cmds, proper_statem:commands(?MODULE), begin
   		{_Hist, _State, Res} = run_commands(?MODULE, Cmds),
   		Res == ok
  
positive.code: %% =======================================================
  
  g_mapjson() ->
  	%?TRIQLET(X, list(oneof([
  	?LET(X, list(oneof([
  		{name, g_name()},
  		{background_color,  g_color()},
  
negative.code: -module(rpgb_handle_map_tests).
  
  -include_lib("proper/include/proper.hrl").
  -include_lib("eunit/include/eunit.hrl").
  -include("rpg_battlemap.hrl").
  
  -define(cookie, begin
  	{Head, Cookie} = cowboy_cookies:cookie(<<"rpgbsid">>, <<"sessionid">>),
  