tests for Exception