Two directories with the same name up to case

[ineol]

In SSA/Projects/InstCombine there are two directory Tests and tests which confuses case insensitive file systems such as MacOS's. Should they be the same directory or should one be renamed?

[alexkeizer]

Tests contains tests of the Lean code, whereas tests are LLVM test-cases extracted for the evaluation, so let's rename the latter to evaluation or the like

[ineol]

@alexkeizer Wait, is it normal that the repo contains 87MB of logs in SSA/Projects/InstCombine/tests/logs or should I gitignore it?

[alexkeizer]

@alexkeizer Wait, is it normal that the repo contains 87MB of logs in SSA/Projects/InstCombine/tests/logs or should I gitignore it?

You should ask @luisacicolini or @bollu, I don't know which parts of the evaluation are actually load-bearing.
If I had to guess, I'd say those logs probably should be removed