statycc / pymwp

A static analyzer of variable value growth for C programs.
https://statycc.github.io/pymwp/
GNU General Public License v3.0
4 stars 1 forks source link

Fail details #95

Closed nkrusch closed 1 year ago

nkrusch commented 1 year ago

This change will display in the output, the variable pairs for which some choice causes infinity. It is not specific but it is the first step in the direction of displaying meaningful output of where failure occurs.

Right now it is a list. E.g., if variable pair x (source) y (target) has $\infty$ coefficient in the matrix, it would display as x ➔ y; and the output is a list of such pairs. To get this output the --fin arg must be set to ensure run to completion.

Future enhancement would be to add more details to this output, like we had discussed previously.