When file/stdin is set to symbolic, FuzzBALL does not create associated symbolic variables until first read. As a result, if extra conditions involve those symbolic vars, they are not yet declared when extra conditions are parsed, which will cause an error.
To fix this error, declare symbolic vars for file and stdin whenever file or stdin is set to symbolic
Merged from hb-branch cb761b937d7b5e5d4c814535b48cf23b9450be89 and f25b84dbeb9723cacb6e441278517036343808de
When file/stdin is set to symbolic, FuzzBALL does not create associated symbolic variables until first read. As a result, if extra conditions involve those symbolic vars, they are not yet declared when extra conditions are parsed, which will cause an error.
To fix this error, declare symbolic vars for file and stdin whenever file or stdin is set to symbolic
Merged from hb-branch cb761b937d7b5e5d4c814535b48cf23b9450be89 and f25b84dbeb9723cacb6e441278517036343808de