use flint_cleanup() everywhere

This commit is contained in:
Fredrik Johansson 2013-07-30 13:53:10 +02:00
parent c8ac87f515
commit 4bd28225bc
247 changed files with 246 additions and 259 deletions

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -105,7 +105,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -83,7 +83,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -78,7 +78,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -82,7 +82,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -74,7 +74,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -84,7 +84,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -215,7 +215,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -215,7 +215,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -98,7 +98,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -82,7 +82,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -86,7 +86,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -86,7 +86,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -89,7 +89,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -134,7 +134,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -77,7 +77,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -106,7 +106,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -68,7 +68,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -82,7 +82,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -129,7 +129,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -151,7 +151,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -122,7 +122,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -143,7 +143,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -113,7 +113,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -106,7 +106,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -108,7 +108,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -108,7 +108,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -108,7 +108,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -110,7 +110,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -110,7 +110,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -110,7 +110,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -122,7 +122,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -130,7 +130,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -98,7 +98,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -80,7 +80,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -80,7 +80,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -80,7 +80,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -98,7 +98,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -68,7 +68,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -98,7 +98,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -98,7 +98,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -81,7 +81,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -81,7 +81,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -106,7 +106,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -107,7 +107,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -66,7 +66,7 @@ main(void)
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return 0;
}

View file

@ -72,7 +72,7 @@ main(void)
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return 0;
}

View file

@ -101,7 +101,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -101,7 +101,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -101,7 +101,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -134,7 +134,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -108,7 +108,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -182,7 +182,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -180,7 +180,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -192,7 +192,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -180,7 +180,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -180,7 +180,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -95,7 +95,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -95,7 +95,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -95,7 +95,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -95,7 +95,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -106,7 +106,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -119,7 +119,7 @@ main(void)
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return 0;
}

View file

@ -102,7 +102,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -102,7 +102,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -102,7 +102,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -103,7 +103,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -113,7 +113,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -93,7 +93,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -129,7 +129,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -242,7 +242,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -187,7 +187,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -77,7 +77,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -68,7 +68,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -80,7 +80,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -68,7 +68,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -110,7 +110,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -73,7 +73,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -62,7 +62,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -99,7 +99,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -66,7 +66,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -142,7 +142,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -104,7 +104,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -104,7 +104,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -104,7 +104,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -97,7 +97,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -71,7 +71,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -74,7 +74,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -94,7 +94,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -93,7 +93,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -95,7 +95,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

View file

@ -101,7 +101,7 @@ int main()
}
flint_randclear(state);
_fmpz_cleanup();
flint_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}

Some files were not shown because too many files have changed in this diff Show more