[ESBMC++ Dev Tracking] Support for strings

[kunjsong01]

Benchmark to be used:

regression/esbmc-cpp/string

Current status:

Commit: f51f498930be039c932ee45e574892f77d649976 (ESBMC main)

Cmd line: ./esbmc string_length_3/main.cpp -I ../library/ --unwind 25 --no-unwinding-assertions --memlimit 14000000 --timeout 900

Error:

fatal error: too many errors emitted, stopping now [-ferror-limit=]
PARSING ERROR
ESBMC version 6.10.0 64-bit x86_64 linux
Target: 64-bit little-endian x86_64-unknown-linux with esbmclibc
Parsing

Raw log: error.log