Bug while processing the test_case parameter in auto_test()