Documentation
¶
Overview ¶
Package mutation: mutate a sql statement, a mutated sql will be created through the following stages:
stage1. init, some of the sql features we can not handle, we need to convert them into valid format.
stage2. mutation. Note that a sql statement can have multiple mutations.
You can use the implication oracle to detect logical bugs. see oracle.Check + oracle.DoubleCheck
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
Package oracle: check impo
|
Package oracle: check impo |
|
Package stage1: The implication oracle cannot handle these features, remove them.
|
Package stage1: The implication oracle cannot handle these features, remove them. |
|
Package stage2: mutate a sql statement.
|
Package stage2: mutate a sql statement. |
Click to show internal directories.
Click to hide internal directories.