Fixed some tests: succeed, fail and examples.