Skip to content

Commit

Permalink
fix time log to be human readable (#1732)
Browse files Browse the repository at this point in the history
  • Loading branch information
dpaiton authored Nov 13, 2024
1 parent a75a091 commit 04abee5
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/agent0/hyperfuzz/system_fuzz/invariant_checks.py
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@

import logging
import time
from datetime import datetime
from typing import Any, Callable, NamedTuple

from fixedpointmath import FixedPoint
Expand Down Expand Up @@ -316,11 +317,11 @@ def _check_negative_interest(interface: HyperdriveReadInterface, pool_state: Poo
"Negative interest detected beteween block "
f"{previous_pool_state.block_number} "
"at time "
f"{previous_pool_state.block_time} "
f"{datetime.fromtimestamp(previous_pool_state.block_time).strftime('%Y-%m-%d %H:%M:%S')}"
"and block "
f"{pool_state.block_number} "
"at time "
f"{pool_state.block_time} "
f"{datetime.fromtimestamp(pool_state.block_time).strftime('%Y-%m-%d %H:%M:%S')}"
f"on {paused_str} pool. "
f"{current_vault_share_price=}, {previous_vault_share_price=}. "
"Difference in wei: "
Expand Down

0 comments on commit 04abee5

Please sign in to comment.