Pass ENFA.run tests