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
Showing only changes of commit d69375e72b - Show all commits

View File

@ -24,9 +24,9 @@
-type fate_type_type() :: integer -type fate_type_type() :: integer
| boolean | boolean
| {list, fate_type()} | {list, fate_type_type()}
| {map, fate_type(), fate_type()} | {map, fate_type_type(), fate_type_type()}
| {tuple, [fate_type()]} | {tuple, [fate_type_type()]}
| address | address
| hash | hash
| signature | signature
@ -35,7 +35,8 @@
| name | name
| channel | channel
| bits | bits
| {variant, list()}. | string
| {variant, [fate_type_type()]}.
-type fate_type() :: -type fate_type() ::