Skip to content

Docs: Recommend context gas over context widening #1856

@michael-schwarz

Description

@michael-schwarz

Context Widening is relatively expensive, we should recommend context gas as the preferred mechanism for dealing with (heavy) recursion here:

https://goblint.readthedocs.io/en/latest/user-guide/running/#analyzing-recursive-programs

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions