|
1 | 1 | -module(hyper_test). |
2 | 2 |
|
| 3 | +-include_lib("kernel/include/logger.hrl"). |
3 | 4 | -include_lib("proper/include/proper.hrl"). |
4 | 5 | -include_lib("eunit/include/eunit.hrl"). |
5 | 6 |
|
@@ -237,7 +238,7 @@ many_union_t() -> |
237 | 238 | true -> |
238 | 239 | ok; |
239 | 240 | false -> |
240 | | - error_logger:info_msg("too high error, expected ~.2f%, actual ~.2f%~n" |
| 241 | + ?LOG_INFO("too high error, expected ~.2f%, actual ~.2f%~n" |
241 | 242 | "~p, p = ~p, card = ~p", |
242 | 243 | [Error, Delta / (Card * NumSets), Mod, P, Card]), |
243 | 244 | ?assert(false) |
@@ -374,45 +375,44 @@ gen_getset(Size, P) -> |
374 | 375 |
|
375 | 376 | prop_set() -> |
376 | 377 | ?FORALL( |
377 | | - {Mod, P}, {oneof(backends()), choose(4, 16)}, |
378 | | - ?FORALL( |
379 | | - Values, gen_getset(P), |
380 | | - begin |
381 | | - R = lists:foldl( |
382 | | - fun ({Index, ZeroCount}, Register) -> |
383 | | - Mod:set(Index, ZeroCount, Register) |
| 378 | + {Mod, P}, {oneof(backends()), choose(4, 16)}, |
| 379 | + ?FORALL( |
| 380 | + Values, gen_getset(P), |
| 381 | + begin |
| 382 | + R = lists:foldl( |
| 383 | + fun({Index, ZeroCount}, Register) -> |
| 384 | + Mod:set(Index, ZeroCount, Register) |
384 | 385 | end, Mod:new(P), Values), |
385 | | - Max = lists:foldl(fun ({I, V}, Acc) -> |
386 | | - case dict:find(I, Acc) of |
387 | | - {ok, OtherV} when OtherV >= V -> |
388 | | - Acc; |
389 | | - _ -> |
390 | | - dict:store(I, V, Acc) |
391 | | - end |
392 | | - end, dict:new(), Values), |
393 | | - Expected = lists:map(fun (I) -> |
394 | | - case dict:find(I, Max) of |
395 | | - {ok, V} -> |
396 | | - <<V:8/integer>>; |
397 | | - error -> |
398 | | - <<0>> |
399 | | - end |
400 | | - end, lists:seq(0, trunc(math:pow(2, P)) - 1)), |
401 | | - |
402 | | - case Mod:encode_registers(Mod:compact(R)) |
403 | | - =:= iolist_to_binary(Expected) of |
404 | | - true -> |
405 | | - true; |
406 | | - false -> |
407 | | - %% error_logger:info_msg("values~n~p~n" |
408 | | - %% "encoded~n~p~n" |
409 | | - %% "expected~n~p~n", |
410 | | - %% [Values, |
411 | | - %% Mod:encode_registers(R), |
412 | | - %% iolist_to_binary(Expected)]), |
| 386 | + Max = lists:foldl(fun({I, V}, Acc) -> |
| 387 | + case dict:find(I, Acc) of |
| 388 | + {ok, OtherV} when OtherV >= V -> |
| 389 | + Acc; |
| 390 | + _ -> |
| 391 | + dict:store(I, V, Acc) |
| 392 | + end |
| 393 | + end, dict:new(), Values), |
| 394 | + Expected = lists:map(fun(I) -> |
| 395 | + case dict:find(I, Max) of |
| 396 | + {ok, V} -> |
| 397 | + <<V:8/integer>>; |
| 398 | + error -> |
| 399 | + <<0>> |
| 400 | + end |
| 401 | + end, lists:seq(0, trunc(math:pow(2, P)) - 1)), |
| 402 | + |
| 403 | + case Mod:encode_registers(Mod:compact(R)) |
| 404 | + =:= iolist_to_binary(Expected) of |
| 405 | + true -> |
| 406 | + true; |
| 407 | + false -> |
| 408 | + ?LOG_ERROR(#{ |
| 409 | + values => Values, |
| 410 | + encoded => Mod:encode_registers(R), |
| 411 | + expected => iolist_to_binary(Expected) |
| 412 | + }), |
413 | 413 | false |
414 | | - end |
415 | | - end)). |
| 414 | + end |
| 415 | + end)). |
416 | 416 |
|
417 | 417 | prop_serialize() -> |
418 | 418 | ?FORALL( |
|
0 commit comments