Skip to content

Commit

Permalink
mystery changes, maybe bug in mutesting library O.o
Browse files Browse the repository at this point in the history
  • Loading branch information
mbellotti committed Jan 11, 2022
1 parent 978ca1e commit 9395b99
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 4 deletions.
2 changes: 1 addition & 1 deletion ast/ast.go
Original file line number Diff line number Diff line change
Expand Up @@ -178,7 +178,7 @@ func (ds *DefStatement) String() string {

out.WriteString(ds.TokenLiteral() + " ")
out.WriteString(ds.Name.String())
_ = out.WriteString
out.WriteString(" = ")

if ds.Value != nil {
out.WriteString(ds.Value.String())
Expand Down
2 changes: 1 addition & 1 deletion execute/format.go
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@ func generatePhis(o map[string]map[string]int64) map[string]int64 {
if p, ok := phis[k2]; !ok {
phis[k2] = e + 1
} else if p < e {
_, _, _ = phis, k2, e
phis[k2] = e + 1

}
}
Expand Down
5 changes: 3 additions & 2 deletions main.go
Original file line number Diff line number Diff line change
Expand Up @@ -165,7 +165,8 @@ func main() {
case "smt":
case "check":
default:
_, _, _ = fmt.Printf, mode, os.Exit
fmt.Printf("%s is not a valid mode", mode)
os.Exit(1)
}
}

Expand All @@ -179,7 +180,7 @@ func main() {
case "smt2":
default:
fmt.Printf("%s is not a valid input format", input)
_ = os.Exit
os.Exit(1)
}
}

Expand Down

0 comments on commit 9395b99

Please sign in to comment.