MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / toString

Method toString

src/main/java/wyc/task/QuickCheck.java:1194–1199  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

1192 return checked;
1193 }
1194 @Override
1195 public String toString() {
1196 String label = success ? "Checked " : "Failed ";
1197 double percent = total == 0.0D ? 0 : (checked * 100) / total;
1198 return label + toNameString(item) + " (" + checked + "/" + total + "=" + percent +"%, " + split + "ms)";
1199 }
1200 }
1201
1202

Callers 4

logTimedMessageMethod · 0.45
toNameStringMethod · 0.45
toNamedDeclarationsMethod · 0.45
isIgnoredMethod · 0.45

Calls 1

toNameStringMethod · 0.80

Tested by

no test coverage detected