4 commits

Author	SHA1	Message	Date
fanghr	8a408f3ab0	add a property test for pupdate and updateMap	2022-05-20 21:50:58 +08:00
fanghr	67a5f3a54d	add missing doc strings	2022-05-20 03:35:32 +08:00
fanghr	ce09d05dff	add sample test && fix broken tests	2022-05-20 03:35:31 +08:00
fanghr	25d011ed00	offload some stuff from agora-test to agora-sample and agora-testlib	2022-05-12 19:23:14 +08:00

Renamed from agora-test/Spec/Util.hs (Browse further)