Thomas Arts
|
d6fbc73450
|
Quicker testing with smaller terms
|
2019-06-03 13:34:37 +02:00 |
|
Thomas Arts
|
3d6ac9df92
|
Slightly different property
|
2019-06-03 11:08:08 +02:00 |
|
Erik Stenman
|
58daf1bb5c
|
Add quick check test for order and handle variants.
|
2019-05-31 14:42:00 +02:00 |
|
Thomas Arts
|
8bf19dc060
|
Do not generate maps and variants as keys in fate maps
|
2019-05-29 16:23:45 +02:00 |
|
Thomas Arts
|
0d6322c0aa
|
Fix property
|
2019-05-29 08:31:04 +02:00 |
|
Thomas Arts
|
6f59ef7a7c
|
Fuzz test aeb_fate_encoding
|
2019-05-28 18:11:42 +02:00 |
|
Thomas Arts
|
163e805f55
|
Enable running properties as Eunit tests
Update model to address serialization
Update eunit test wrapper
Update tests
Add tests for serialize_type
|
2019-05-02 13:08:43 +02:00 |
|
Thomas Arts
|
04d64dfe9b
|
Extend QuickCheck model to use the make_BLA functions to create the fate data
|
2019-04-10 15:41:59 +02:00 |
|
Thomas Arts
|
75f3eeffa7
|
Add quickcheck properties
|
2019-04-09 10:32:08 +02:00 |
|