UTBotCpp does not support test generation for 32bits projects

[llmagic]

Hi,my working project is an embedded 32bit project, I must add compile flag "-m32" in my Cmakelists.txt
when I use unittestBot C/C++ to config my working project, there would be linking errors below:

...
error: /utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/crtbegin.o: incompatible target
warning: skipping incompatible /utbot_distr/debs-install/usr/lib/x86_64-linux-gnu//libdl.so while searching for dl
warning: skipping incompatible /utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9//libstdc++.a while searching for stdc++
error: cannot find -lstdc++
...

Is that because UTBot not support -m32 compile project? How could I solve this problem?
I installed utbot with utbot_installer_2021.2.23.sh on linux, and it works well with the c-example project.

[alexey-utkin]

• 32bit symbolic libraries need to be compiled and added to the project (after fixed
  "Debug+Asserts" runtime build is used for KLEE [BUG] #338 that be automatically done if build docker have 32bit cross-compile libraries )
  So

  sudo apt-get install gcc-9-multilib
  sudo apt-get install g++-9-multilib
  

• change defaults params for memory allocator in KLEE run

  allocate-determ-size: 100 -> 1
  allocate-determ-start-address: 0x7ff30000000 -> 0x10000