How do I get the loop invariants generated by using the eva plug-in analyzer #50
Description
I use the eva plug-in to analyze the program, and I want to get the loop invariants generated during the analysis based on the abstract interpretation. How do I get, modify frama-c source code？