Fixed config to reflect property types

solidity/config.yaml

@@ -13,7 +13,7 @@ contractAddr: 0x00a329c0648769a73afac7f9381e08fb43dbea72
 #Sender's address in the EVM
 sender: 0x00a329c0648769a73afac7f9381e08fb43dbea70
 #List of addresses that will be used in all tests
-#addrList:
+addrList: [0x00a329c0648769a73afac7f9381e08fb43dbea70]
 #Gas limit
 #gasLimit
 #Shrink Limit
@@ -22,3 +22,9 @@ shrinkLimit: 1000
 prefix: echidna_
 #Print full coverage
 printCoverage: false
+#Return Type
+#  - Success: all tests should return true
+#  - Fail: all tests should return false
+#  - Throw: all tests should revert
+#  - Fail or Throw: all tests should either return false or revert
+returnType: Success