Manak testing framework currently only supports ASSERT and CHECK. User should be given option so that they can check if certain exception is thrown in the code to be tested. We need o figure out the correct way to implement it with the current architecture or maybe with minor changes.