diff --git a/main.cpp b/main.cpp index 64d7e56f87d3d64140056cbad58fcf971b4bc5b6..c85881ed5e4fa3c4ea93339e2de89694f2856c43 100644 --- a/main.cpp +++ b/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.