property files are stored at `config/properties` and at `test/config/properties`
The latter ones are referenced in some integration test sets, but contains the outdated check for __VERIFIER_error
. I think it would be wise to remove them and instead point to the ones in config/properties
instead, but I am not sure whether this would be the best solution, so I just create this issue.
Edited by Martin Spiessl