Dear Developer.
I noticed your tool by reading the paper "Gazer-Theta: LLVM-based Verier Portfolio with BMC/CEGAR (Competition Contribution)" and I found that the LLVM IR is converted into a CFA.
I would like to know how do I get the CFA file?
Also, why does your tool not support C++? Isn't it based on IR?
Dear Developer. I noticed your tool by reading the paper "Gazer-Theta: LLVM-based Verier Portfolio with BMC/CEGAR (Competition Contribution)" and I found that the LLVM IR is converted into a CFA. I would like to know how do I get the CFA file? Also, why does your tool not support C++? Isn't it based on IR?