diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-11 17:09:04 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-12 08:22:44 +0200 |
| commit | c1147c8df73eb61bc9d66e6628e0369e21f28670 (patch) | |
| tree | 1f5f75bf13a32941025c134fdd236fb137cf3181 /prog/minimization.go | |
| parent | 0faffd0438df859fb66236085ac3992735900d26 (diff) | |
all: fix comments format
Fix capitalization, dots at the end
and two spaces after a period.
Update #1876
Diffstat (limited to 'prog/minimization.go')
| -rw-r--r-- | prog/minimization.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prog/minimization.go b/prog/minimization.go index 88c401b2c..5e0383bb8 100644 --- a/prog/minimization.go +++ b/prog/minimization.go @@ -8,7 +8,7 @@ import ( ) // Minimize minimizes program p into an equivalent program using the equivalence -// predicate pred. It iteratively generates simpler programs and asks pred +// predicate pred. It iteratively generates simpler programs and asks pred // whether it is equal to the original program or not. If it is equivalent then // the simplification attempt is committed and the process continues. func Minimize(p0 *Prog, callIndex0 int, crash bool, pred0 func(*Prog, int) bool) (*Prog, int) { |