Skip to content

Environment variable #30

Open
Open
Environment variable#30

Description

@rikosellic
rikosellic
opened on Jul 2, 2026

I'm updating the readme of vostd. I'm wondering if we still need to set VERUS_PATH and VERUS_Z3_PATH, or if we can just set CARGO_VERUS_PATH and delete functions like get_z3.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions