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

Conversation 4 Commits 4 Files Changed 4

+62 -12

4 Commits

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