summaryrefslogtreecommitdiffstats
path: root/verigraph/src/it/polito/verigraph/client
ModeNameSize
-rw-r--r--VerifyClient.java19905logstatsplain
-rw-r--r--VerifyClientException.java715logstatsplain