Thomas Arts cb83224c60 Add query to generate QuickCheck data

2019-06-19 17:41:47 +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

Three new opcodes had been added

2019-06-19 17:41:47 +02:00

aefate_eqc.erl

Add query to generate QuickCheck data

2019-06-19 17:41:47 +02:00

aefate_type_eqc.erl

Enable running properties as Eunit tests

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