From the README: > By re-compiling the decompiled output and running the test cases, we assess if the decompilation preserved the program logic and behavior.

From the README: > By re-compiling the decompiled output and running the test cases, we assess if the decompilation preserved the program logic and behavior. As this is in the metrics section, I guess fully automating this is not part of the research.