Bound the number of attempts my_mkstemps tries to compute a file name#2421

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:vs-bound

Jun 23, 2018

Commits on Jun 23, 2018

Bound the number of attempts my_mkstemps tries to compute a file name
tautschnig
committed