add test case, but how to auto-test failures?