Skip to content

[Gemini] Prevent multiple set initial value assertions for same resource #37

@meldckn

Description

@meldckn

Gemini currently allows Cygnus games to have multiple initialize(set_value(..)) assertions for the same resource (with both same and different values). Should prevent this.

e.g., in beach_1.lp:

initialize(set_value(resource(r_1_XX_),scalar(0))).
...
initialize(set_value(resource(r_1_XX_),scalar(0))).
initialize(set_value(resource(r_1_XX_),scalar(1))).

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions