Pt property based tests #152

Merged
zxq9 merged 2 commits from PT-property-based-tests into master 2019-05-06 21:51:05 +09:00

2 Commits

Author SHA1 Message Date
Thomas Arts
163e805f55 Enable running properties as Eunit tests
Update model to address serialization

Update eunit test wrapper

Update tests

Add tests for serialize_type
2019-05-02 13:08:43 +02:00
Thomas Arts
d69375e72b Fix types 2019-05-02 13:08:43 +02:00