Remove flaky test

Ref. eng/recordflux/RecordFlux#1579

tests/unit/expression_test.py

@@ -6,7 +6,6 @@
 import pytest
 import z3
 
-import rflx
 from rflx import ada, ir, typing_ as rty
 from rflx.error import FatalError, Location, RecordFluxError
 from rflx.expression import (
@@ -3141,19 +3140,6 @@ def test_proof_invalid_logic() -> None:
     ]
 
 
-def test_proof_timeout(monkeypatch: pytest.MonkeyPatch) -> None:
-    monkeypatch.setattr(rflx.expression, "PROVER_TIMEOUT", 1)
-    expr = Less(Mod(Variable("X"), Variable("Y")), Number(100))
-    p = Proof(expr)
-    assert p.result == ProofResult.UNKNOWN
-    assert p.error == [
-        (
-            "timeout",
-            None,
-        ),
-    ]
-
-
 def test_case_variables() -> None:
     assert_equal(
         CaseExpr(