You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was able to get the tool working by using the broker-improvements branch and dev-incremental-mca of custom LLVM. Using MCAD with QEMU to analyze trivial programs like Bellman-Ford takes about a minute whereas the actual runtime is <1s. Qemu process ends within few seconds and then MCAD takes a while to complete the analysis.
Can you please let me know if this is expected or am I going wrong somewhere?
Hi,
I was able to get the tool working by using the
broker-improvements
branch anddev-incremental-mca
of custom LLVM. Using MCAD with QEMU to analyze trivial programs like Bellman-Ford takes about a minute whereas the actual runtime is <1s. Qemu process ends within few seconds and then MCAD takes a while to complete the analysis.Can you please let me know if this is expected or am I going wrong somewhere?
Here are the commands I am running -
I tried compiling the binary with both g++ (11.4.0) and clang++ (17.0.6).
The text was updated successfully, but these errors were encountered: