add data.txt
add DynamicPropTest