@ Nullable @ Override public DefaultQuery < I , D > doFindCounterExample ( A hypothesis , Collection < ? extends I > inputs ) throws ModelCheckingException { final DefaultQuery < I , D > result = propertyOracle . findCounterExample ( hypothesis , inputs ) ; if ( result != null ) { LOGGER . logEvent ( "Spurious counterexample found for property: '" + toString ( ) + "'" ) ; LOGGER . logCounterexample ( "Spurious counterexample: " + result ) ; } return result ; }
Try to find a counterexample to the given hypothesis and log whenever such a spurious counterexample is found .