fixes quint tests and cucumber tests
merged in update_tests