Support targetted checking #960
Support targetted checking #960

Targetted checking is where we target a specific set of named declarations to
check, rather than simply checking everything.  This means, for example, that we
can check a function or method we've just been working on relatively quickly.

Whiley/WhileyCompiler