Skip to content

Make Seal5Flow a ContextManager #191

Description

@PhilippvK

Before:

seal5_flow = Seal5Flow(dest, name=name)
seal5_flow.initialize(...)
...

After:

with Seal5Flow(dest, name=name) as seal5_flow:
    seal5_flow.initialize(...)
    ...

Advantage:

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions