Artifact for Metamorphic Testing for Infrastructure-as-Code Engines

This is the preliminary artifact for the OOPSLA 2026 paper: Metamorphic Testing for Infrastructure-as-Code Engines. Artifact evaluation for this paper will take place in the second round and is expected to be completed by October 2026. Until then, please do not expect detailed setup or reproduction instructions. If you are reading this after October 2026, please revisit the artifact DOI referenced in the paper, which points to the latest version of the artifact. In the meantime, we provide the following resources: 1. `emiac-rs` contains the source code of EMIaC. It consumes an IaC program in IR format and produces saturated e-graphs and Pulumi (Python) or Terraform (HCL) deployments. This folder also includes two bash scripts that demonstrate how to use EMIaC. 2. `lean-mechanization` contains the Lean4 mechanization of Lemma 4.1 (soundness of the rewrite rules) and Lemma 4.2 (completeness of the rewrite rules). 3. `naive-comparison` contains the source code of the naive rewriter used as the baseline in RQ5 to generate Figure 10. This folder also includes the scripts needed to reproduce that figure.