Use temporary_filet for automatic resource management#2321
Merged
kroening merged 1 commit intodiffblue:developfrom Jun 12, 2018
Merged
Use temporary_filet for automatic resource management#2321kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
