If the syntax has changed in other ways, we will need to update other echidna config files.
Not sure if it's it's ReSpec or Echidna that consumes the ";"... my suspicion is that it's passed to ReSpec, and that will fail (we dropped support for ";" not too long ago).
Not sure if it's it's ReSpec or Echidna that consumes the ";"... my suspicion is that it's passed to ReSpec, and that will fail (we dropped support for ";" not too long ago).