Skip to content

SyGuS v1 -> v2 translator generates non-conforming benchmark #4

@HanielB

Description

@HanielB

The benchmark General_plus10.sl does not conform to SyGuS 2.0 since it has applied constants, which is not allowed in the term language (section 2.6 of SyGuS-IF_2.0).

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions