Skip to content

Kontrol get-model throws unboundLocalError #1063

@anvacaru

Description

@anvacaru

This error gets thrown

[1] anvacaru@desktop _project-contracts$ kontrol get-model "test_oraclePriceLessThanZero_reverts(int256)" --node 277
Traceback (most recent call last):
  File "/nix/store/1n608y8xh5ddskdmz9n3afz470va66jn-kontrol-1.0.0/bin/kontrol", line 10, in <module>
    sys.exit(main())
  File "/nix/store/pldsaxhdswjh898smmdrhc5cbna8w664-kontrol-pyk-env/lib/python3.10/site-packages/kontrol/__main__.py", line 133, in main
    execute(options)
  File "/nix/store/pldsaxhdswjh898smmdrhc5cbna8w664-kontrol-pyk-env/lib/python3.10/site-packages/kontrol/__main__.py", line 355, in exec_get_model
    output = foundry_get_model(
  File "/nix/store/pldsaxhdswjh898smmdrhc5cbna8w664-kontrol-pyk-env/lib/python3.10/site-packages/kontrol/foundry.py", line 1249, in foundry_get_model
    if pending:
UnboundLocalError: local variable 'pending' referenced before assignment

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