search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
172 stars 72 forks source link

Move unit tests to tests/unit/ #1404

Closed sim642 closed 6 months ago

sim642 commented 6 months ago

All other tests live in various subdirectories under tests/, so it's more coherent to have unit tests there too. A top-level directory is just clutter, especially when it's so rarely accessed.