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

Method setIgnores

src/main/java/wyc/task/QuickCheck.java:902–906  ·  view source on GitHub ↗
(String... ignores)

Source from the content-addressed store, hash-verified

900 }
901
902 public Context setIgnores(String... ignores) {
903 Context context = new Context(this);
904 context.ignores = ignores;
905 return context;
906 }
907
908 public BigDecimal getSamplingRate() {
909 return samplingRate;

Callers 1

mainMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected