Thomas Arts
|
23b98f7d65
|
Add unit test to trigger eqc property
|
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 |
|