Thomas Arts
|
734c8e8e40
|
ignore generated aefate file
|
2019-04-10 15:44:53 +02:00 |
|
Thomas Arts
|
436ba457e9
|
Robuster way to create binaries from strings
|
2019-04-10 15:43:50 +02:00 |
|
Thomas Arts
|
0261b76314
|
tuple_to_list is now replaced by a constructor and the "convenience" functions will be moved to apps/aefate tests were they are needed
|
2019-04-10 15:43:25 +02:00 |
|
Thomas Arts
|
e1e2236a26
|
If we have destructors for maps, lists, etc, we need one for tuples as well
|
2019-04-10 15:42:33 +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 |
|