aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
ModeNameSize
-rw-r--r--Why3Translator.cpp23441logstatsplainblame
-rw-r--r--Why3Translator.h5307logstatsplainblame