tests cases and examples