Skip to content

Parsing error for binary operation. #3

@dkushner

Description

@dkushner

Rule Set:

#(x / 30000, x/50000, x/80000)@(0, 90, 0)!(x)F(x  + 1)

Axiom:

F(0)

Evaluating this axiom in the context of the given ruleset yields an error Binary operation "x +1" contains invalid number of operands.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions