Pt 166330348 check map keys fate #189

Merged

zxq9 merged 4 commits from PT-166330348-check-map-keys-fate into master

2019-08-26 15:37:52 +09:00

Author	SHA1	Message	Date
Thomas Arts	59b7b786ac	Update quickcheck/aefate_code_eqc.erl Co-Authored-By: Hans Svensson <hanssv@gmail.com>	2019-08-23 15:50:39 +02:00
Thomas Arts	f31887c2ed	Update properties	2019-08-23 15:00:12 +02:00
Thomas Arts	d794566363	Fix check for no maps in keys	2019-08-23 14:45:15 +02:00
Thomas Arts	c270c794c3	Fix tests to new datastructure containing attributes	2019-08-23 11:31:54 +02:00