Mikhail Petrochenkov

Add information about variable concretization

3

## Summary: Added a constraint that a symbolic variable must be equal to its concretization in the `externalCallFunction` function. Closes #1519. ## Checklist: - [x] The PR addresses a single...

Try to generate tests for [base64 project](https://github.com/aklomp/base64) When I try to generate tests, I get this ``` 2022-05-13 11:31:50 | projectConfig.js: 37 |I| Project 'base64' was successfully configured. 2022-05-13 11:31:50...