diff --git a/tests/solve_proper.ref b/tests/proper.ref
similarity index 100%
rename from tests/solve_proper.ref
rename to tests/proper.ref
diff --git a/tests/solve_proper.v b/tests/proper.v
similarity index 100%
rename from tests/solve_proper.v
rename to tests/proper.v