Documentation
¶
Overview ¶
Package oracle: check results to see if there is a logical bug according to implication oracle
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func Check ¶
func Check(originResult *connector.Result, mutatedResult *connector.Result, isUpper bool) (bool, error)
Check: check results to see if there is a logical bug according to implication oracle. return false if there is a logical bug, otherwise return true.
Note that implication oracle cannot support error oracle. You cannot have any errors in your results, otherwise we will return an error
Types ¶
This section is empty.
Source Files
Click to show internal directories.
Click to hide internal directories.