missing requires and type properties in #defintion section #9

Open

Assignees

Labels

opened

original input has these defined, but the output does not have them.
happens with ctt_2 test case.

Metadata

Assignees

WAvdBeek

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests