Skip to content

Version 1.1
Compare
Choose a tag to compare
@niyaznigmatullin niyaznigmatullin released this 23 Nov 17:51
· 17 commits to master since this release
v1.1
a177458

Changelist

  1. Outcome.quit now returns Outcome, so that you can throw Outcome.quit(.. or return Outcome.quit(..
  2. InStream.quit is introduced, it's almost the same as Outcome.quit, but for answer stream it quits with Outcome.FAIL instead of PE or WA.
  3. Several examples and unit-tests added
  4. Fixed bug: when checker throws Outcome, extra output is not checked.
  5. CheckerFramework.runChecker is introduced, with an argument of instance of the checker class. From now on you can create checkers, that can be run without calling CheckerFramework.main. Several example, that are using CheckerFramework.runChecker are added: YesNoWithMain.java, CompareIntegerWithMain.java
    Be careful, if your checker class has no default constructor, then old method of calling CheckerFramework.main will not work
Assets 3
Loading