Fix a test and add the option to mark symbolic input by calling symcc_make_symbolic from the program under test.
The refactoring that was required to add the new feature has had the pleasant side effect that the QSYM backend now doesn't require the entire input upfront anymore, making it much more convenient to feed symbolic data through stdin.
Fix a test and add the option to mark symbolic input by calling
symcc_make_symbolicfrom the program under test.The refactoring that was required to add the new feature has had the pleasant side effect that the QSYM backend now doesn't require the entire input upfront anymore, making it much more convenient to feed symbolic data through stdin.