Support properties and invariants without arguments in symbolic mode #1537
Description
Describe the desired feature
Echidna should be able to deal with one symbolic transaction + checking assertions/properties.
{{ message }}
Echidna should be able to deal with one symbolic transaction + checking assertions/properties.