Du kannst nicht mehr als 25 Themen auswählen
Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
25 Zeilen
783 B
25 Zeilen
783 B
-module(jiffy_SUITE).
|
|
-include_lib("proper/include/proper.hrl").
|
|
-include_lib("proper_stdlib/include/proper_ct.hrl").
|
|
-compile(export_all).
|
|
|
|
all() -> proper_ct:testcases(?MODULE).
|
|
|
|
init_per_testcase(tc_prop_foo, Config) ->
|
|
[{proper, [{numtests, 1000}]} | Config].
|
|
|
|
-type json_any() :: json_list()
|
|
| json_dict()
|
|
| json_number()
|
|
| json_string()
|
|
| json_null().
|
|
-type json_list() :: list(json_any()).
|
|
-type json_dict() :: {[{json_key(), json_any()}]}.
|
|
-type json_key() :: binary().
|
|
-type json_number() :: integer() | float().
|
|
-type json_string() :: binary().
|
|
-type json_null() :: null.
|
|
|
|
prop_foo() ->
|
|
?FORALL(Data, json_any(),
|
|
Data == jiffy:decode(jiffy:encode(Data))).
|