Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
main
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected