Skip to content

Conversation

@webmiche
Copy link
Collaborator

This PR refactors our MLIR conversion filecheck tests into tests that can be run without and with the Python bindings. Furthermore, it allows the former of the two be run in the CI.

@@ -1,46 +1,49 @@
// RUN: xdsl-opt -t mlir | xdsl-opt -t mlir -f mlir | filecheck %s
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This testcase seemed to forget that we are printing the generic IR for MLIR. I refactored it s.t. it now knows that.

@webmiche webmiche added the testing Tests (pytest, filecheck, testing infrastructure) label Nov 25, 2022
@webmiche webmiche self-assigned this Nov 25, 2022
Copy link
Contributor

@georgebisbas georgebisbas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great

@webmiche webmiche force-pushed the run_more_tests branch 2 times, most recently from 7f88b15 to 0a3bde2 Compare November 28, 2022 11:48
Copy link
Collaborator

@math-fehr math-fehr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect! Thanks a lot!

@math-fehr math-fehr merged commit 457de16 into main Nov 29, 2022
@math-fehr math-fehr deleted the run_more_tests branch November 29, 2022 01:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

testing Tests (pytest, filecheck, testing infrastructure)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants