Skip to content

Dumping error for .tl file.  #4

Description

@lahiri-phdworks

Describe the bug
Dumping command gives an error, no irOpt found.

To Reproduce
Run chiron to dump the IR of a example file, say example/example1.tl file.

Expected behavior
Dump must be produced in .kw format along with pretty print of the IR in the terminal.

Screenshots
None

Desktop (please complete the following information):

  • OS: [all]
  • Browser [e.g. chrome, safari]
  • Version [1.0.1] (Mentioned version of Chion)

Additional context
Dumping of .kw file gives error.

Metadata

Metadata

Labels

bugSomething isn't workingsymbolic-executionIssues on Symbolic Execution

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions