Skip to content

could not load a transaction to debug #53

@cds-amal

Description

@cds-amal

This txn could not be loaded

Welcome to Simbolik! Happy debugging! 

Do you have questions, or need help?

Visit our Documentation: https://docs.runtimeverification.com/simbolik 
Join our Discord: https://discord.gg/jnvEeDxW
Join our TG group: https://t.me/rv_simbolik

Found a bug or have a feature request?

Please report it here: https://github.com/runtimeverification/simbolik-vscode/issues
Traceback (most recent call last):
  File "/home/user/.local/lib/python3.10/site-packages/simbolik/adapter.py", line 268, in attach_request
    trace = await driver.execute(config)
  File "/home/user/.local/lib/python3.10/site-packages/simbolik/backend/rpc/backend.py", line 71, in execute
    return await self.attach(config)
  File "/home/user/.local/lib/python3.10/site-packages/simbolik/backend/rpc/backend.py", line 83, in attach
    trace = self._trace_transaction(web3, tx_hash, state_dump, None)
  File "/home/user/.local/lib/python3.10/site-packages/simbolik/backend/rpc/backend.py", line 209, in _trace_transaction
    tx = web3.eth.get_transaction(tx_hash)
  File "/home/user/.local/lib/python3.10/site-packages/web3/eth/eth.py", line 326, in get_transaction
    return self._get_transaction(transaction_hash)
  File "/home/user/.local/lib/python3.10/site-packages/web3/module.py", line 112, in caller
    result = w3.manager.request_blocking(
  File "/home/user/.local/lib/python3.10/site-packages/web3/manager.py", line 232, in request_blocking
    return self.formatted_response(
  File "/home/user/.local/lib/python3.10/site-packages/web3/manager.py", line 211, in formatted_response
    apply_null_result_formatters(null_result_formatters, response, params)
  File "/home/user/.local/lib/python3.10/site-packages/web3/_utils/formatters.py", line 158, in apply_null_result_formatters
    formatted_resp = pipe(params, null_result_formatters)
  File "cytoolz/functoolz.pyx", line 685, in cytoolz.functoolz.pipe
  File "cytoolz/functoolz.pyx", line 660, in cytoolz.functoolz.c_pipe
  File "/home/user/.local/lib/python3.10/site-packages/web3/_utils/method_formatters.py", line 1154, in raise_transaction_not_found
    raise TransactionNotFound(message)
web3.exceptions.TransactionNotFound: Transaction with hash: '0xe766e32eb2c4d9a3fe39ee7a3559fc8a4b6fbdebf1eadd48bd6ca6119e3f6b5e' not found.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions