FFFF uninterpreted theories don't check argument types · Issue #114 · zetzit/zz · GitHub
[go: up one dir, main page]
Skip to content
This repository was archived by the owner on Jun 17, 2022. It is now read-only.
This repository was archived by the owner on Jun 17, 2022. It is now read-only.

uninterpreted theories don't check argument types #114

Open
Open
uninterpreted theories don't check argument types#114

Description

@aep
aep
opened on Aug 19, 2020

from #111

these are interchangeable

theory isopen(Socket fd) -> bool;
theory isopen(Socket * fd) -> bool;

because unless a theory actually has a body, nothing checks the argument type.
Although that's sort of valid, It's rather confusing.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions
      0