save scop

main.cpp

@@ -32,18 +32,22 @@ int main() {
         return -1;
     }
     scop = osl_scop_read(fp);
-    //osl_scop_dump(stdout, scop);
+    fclose(fp);
     
     for(auto s = scop->statement; s; s = s->next) {
         auto d = s->domain;
         
-        osl_relation_dump(stdout, d);
+        osl_relation_dump(stdout, s->domain);
         auto n = perforate(d);
         s->domain = n;
 
         osl_relation_free(d);
 
     }
+    
+    fp = fopen("perf.openscop", "w");
+    osl_scop_print(fp, scop);
+    fclose(fp);
 
 
     // Dump the content of the scop data structure.