Skip to content

Commit

Permalink
Test
Browse files Browse the repository at this point in the history
  • Loading branch information
calebnwokocha committed Nov 28, 2024
1 parent 274bb93 commit ebe47cf
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions satisfier.go
Original file line number Diff line number Diff line change
Expand Up @@ -276,7 +276,7 @@ func main() {
input, _ := reader.ReadString('\n')
input = strings.TrimSpace(input)

fmt.Print("Enter initial assignments (e.g., R := true, S := false) or leave blank: ")
fmt.Print("Enter initial assignments (e.g., \"R\" := true, \"S\" := false) or leave blank: ")
preAssignmentsInput, _ := reader.ReadString('\n')
preAssignmentsInput = strings.TrimSpace(preAssignmentsInput)

Expand All @@ -303,7 +303,7 @@ func main() {
if containsVariable(cnf, varName, reverseMap) {
preAssignments[varMap[varName]] = varValue
} else {
fmt.Printf("Warning: Variable %s not found in the formula.\n", varName)
fmt.Printf("Warning: Variable %s not found in the "+formulaName+"\n", varName)
}
}
}
Expand Down

0 comments on commit ebe47cf

Please sign in to comment.