smack support cpp？

[bodycoder101]

Hello，
SMACK support cpp source file verify? I found a cplusplus sub folder in test folder。
but in my parctie in use SMACK，CLANG could compile cpp source file，and generate bc files，but it could not use in bc2bpl，becase functions contain prefix/suffix cause the name mangling。

Thanks your replay~

[zvonimir]

SMACK has prototypical support for C++. I am not quite sure what exactly is the problem you are experiencing.
Could you attach a small example here to help you out?