add formal_test_temp to .gitignore