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

Method required

src/main/java/wycc/util/testing/TestStage.java:62–62  ·  view source on GitHub ↗

If true, then subsequent stages will not run if this stage produces errors (regardless of whether or not that was expected). @return

()

Source from the content-addressed store, hash-verified

60 * @return
61 */
62 public boolean required();
63}

Callers 1

runMethod · 0.65

Implementers 2

WhileyCompileTestsrc/main/java/wyc/util/testing/WhileyC
WhileyExecuteTestsrc/main/java/wyc/util/testing/WhileyE

Calls

no outgoing calls

Tested by 1

runMethod · 0.52