tree 6531fc352e045aacbd4755ec06c908d215ec54f8
parent 4391412ba4f79e9b614e145a8f61fe7acc60d49e
author Gao Hongtao <hanahmily@gmail.com> 1660104009 +0800
committer GitHub <noreply@github.com> 1660104009 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJi8y1JCRBK7hj4Ov3rIwAA3fkIAG/mhyrNF6769KRNfq/87n1C
 UJ4tR+ZMJV+Ype4g/tu/SKSfLJPSTphd/wZG9M/TUCGNn7inp/CHU1IEICp2Q4gi
 lD0/KvdleVy1aFzXebKsexROBw94qudw3SPa+Se8YaAWfobMGcAJu4Xv1sT2ZR+2
 FaBulzXoyejF+NtTZX9UsGQzNsPcvpDo/u7Oo18q0VNAXP1XZzylrz58TW6Jq5KR
 b7YAOU3J4AhNXv6OX5yTSgGOjm9Hck04nmz++FHDli8q4Dkm0VQ/XKlltd/eJo8v
 XM8GftwPdGJTpXQcudXDfTGNVsOR3Iqjks24wOk6SUBAS/US/PE3xGPSghLxewA=
 =C0aL
 -----END PGP SIGNATURE-----
 

Parameterize memory size and some key improvements (#153)

* Parameterize memory size
* Fix checking failure
* Extract default values as several constants
* Print strategy manager state after testing
* Add a mock clock trigger to send the "now" to "ticker.C" in each
verification round
* Update LICENSE

Signed-off-by: Gao Hongtao <hanahmily@gmail.com>