2 Commits

Author	SHA1	Message	Date
Yilin Chen	52ea5dd600	Fix CI by changing PD_ADDR to PD_ADDRS ... Signed-off-by: Yilin Chen <sticnarf@gmail.com>	2019-08-01 02:08:31 +08:00
Ana Hobden	1815a3bf54	Add proptest support (#68) ... * Add proptest support Signed-off-by: Ana Hobden <operator@hoverbear.org> * fmt Signed-off-by: Ana Hobden <operator@hoverbear.org> * Make proptest feature more consistent Signed-off-by: Ana Hobden <operator@hoverbear.org> * Fixes #69 Signed-off-by: Ana Hobden <operator@hoverbear.org> * fmt Signed-off-by: Ana Hobden <operator@hoverbear.org>	2019-07-04 17:35:11 -07:00