-
-
Notifications
You must be signed in to change notification settings - Fork 50
Labels
MLIRAnything related to MLIRAnything related to MLIRfeatureNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomers
Milestone
Description
Problem Statement
Since #948, MQT Core now explicitly tests all main features of the MQTOpt dialect.
For MQTDyn, on the other hand, we only have a single big test file at the moment.
To better test MQTDyn, we should improve its test suite in a similar fashion.
Proposed Solution
A single test file dialect_features.mlir for the MQTDyn dialect. It should contain (more or less) the same test cases as the MQTOpt dialect_features.mlir introduced in #948, just reformulated for MQTDyn.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
MLIRAnything related to MLIRAnything related to MLIRfeatureNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomers