add file_exists(path)#5215

Merged

kroening merged 2 commits intodevelopfrom

Feb 21, 2020

Commits on Jan 25, 2020

add file_exists(path) as wrapper for access(path)
Daniel Kroening
committed
added file_remove(path) as wrapper for unlink(path)
Daniel Kroening
committed