Infer.net tests
Changed gitignore