Thomas Arts 985e5358c9 Sorting should be idempotent

2019-06-03 14:49:02 +02:00

..

aeb_fate_code_tests.erl

model so far

2019-05-28 18:13:27 +02:00

aeb_fate_data_tests.erl

Add quick check test for order and handle variants.

2019-05-31 14:42:00 +02:00

aeb_fate_encoding_tests.erl

Sorting should be idempotent

2019-06-03 14:49:02 +02:00

aefate_code_eqc.erl

Do not generate maps and variants as keys in fate maps

2019-05-29 16:23:45 +02:00

aefate_eqc.erl

Sorting should be idempotent

2019-06-03 14:49:02 +02:00

aefate_type_eqc.erl

Enable running properties as Eunit tests

2019-05-02 13:08:43 +02:00