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

Method setLinking

src/main/java/wyc/Compiler.java:78–81  ·  view source on GitHub ↗
(boolean b)

Source from the content-addressed store, hash-verified

76 }
77
78 public Compiler setLinking(boolean b) {
79 this.linking = b;
80 return this;
81 }
82
83 public Compiler setVerification(boolean b) {
84 this.verification = b;

Callers 2

runMethod · 0.45
mainMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected