formalsec
diff --git a/‎tests/unit/test_allok.t.disabled‎ renamed to ‎tests/unit/test_allok.t‎ b/‎tests/unit/test_allok.t.disabled‎ renamed to ‎tests/unit/test_allok.t‎
diff --git a/‎tests/unit/test_problems.t‎ renamed to ‎tests/unit/test_problems.t.disabled‎ b/‎tests/unit/test_problems.t‎ renamed to ‎tests/unit/test_problems.t.disabled‎