diff --git a/tests/aig/and.aag b/tests/aiger/and.aag similarity index 100% rename from tests/aig/and.aag rename to tests/aiger/and.aag diff --git a/tests/aig/buffer.aag b/tests/aiger/buffer.aag similarity index 100% rename from tests/aig/buffer.aag rename to tests/aiger/buffer.aag diff --git a/tests/aig/cnt1.aag b/tests/aiger/cnt1.aag similarity index 100% rename from tests/aig/cnt1.aag rename to tests/aiger/cnt1.aag diff --git a/tests/aig/cnt1e.aag b/tests/aiger/cnt1e.aag similarity index 100% rename from tests/aig/cnt1e.aag rename to tests/aiger/cnt1e.aag diff --git a/tests/aig/empty.aag b/tests/aiger/empty.aag similarity index 100% rename from tests/aig/empty.aag rename to tests/aiger/empty.aag diff --git a/tests/aig/false.aag b/tests/aiger/false.aag similarity index 100% rename from tests/aig/false.aag rename to tests/aiger/false.aag diff --git a/tests/aig/halfadder.aag b/tests/aiger/halfadder.aag similarity index 100% rename from tests/aig/halfadder.aag rename to tests/aiger/halfadder.aag diff --git a/tests/aig/inverter.aag b/tests/aiger/inverter.aag similarity index 100% rename from tests/aig/inverter.aag rename to tests/aiger/inverter.aag diff --git a/tests/aig/notcnt1.aag b/tests/aiger/notcnt1.aag similarity index 100% rename from tests/aig/notcnt1.aag rename to tests/aiger/notcnt1.aag diff --git a/tests/aig/notcnt1e.aag b/tests/aiger/notcnt1e.aag similarity index 100% rename from tests/aig/notcnt1e.aag rename to tests/aiger/notcnt1e.aag diff --git a/tests/aig/or.aag b/tests/aiger/or.aag similarity index 100% rename from tests/aig/or.aag rename to tests/aiger/or.aag diff --git a/tests/aig/run-test.sh b/tests/aiger/run-test.sh similarity index 100% rename from tests/aig/run-test.sh rename to tests/aiger/run-test.sh diff --git a/tests/aig/toggle-re.aag b/tests/aiger/toggle-re.aag similarity index 100% rename from tests/aig/toggle-re.aag rename to tests/aiger/toggle-re.aag diff --git a/tests/aig/toggle.aag b/tests/aiger/toggle.aag similarity index 100% rename from tests/aig/toggle.aag rename to tests/aiger/toggle.aag diff --git a/tests/aig/true.aag b/tests/aiger/true.aag similarity index 100% rename from tests/aig/true.aag rename to tests/aiger/true.aag