diff options
Diffstat (limited to 'llvm/docs/BugpointRedesign.md')
| -rw-r--r-- | llvm/docs/BugpointRedesign.md | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/llvm/docs/BugpointRedesign.md b/llvm/docs/BugpointRedesign.md index 98a271f2f92..bac3a1f744d 100644 --- a/llvm/docs/BugpointRedesign.md +++ b/llvm/docs/BugpointRedesign.md @@ -95,11 +95,8 @@ at all. ### "Quirky" Interface Bugpoint’s current interface overwhelms and confuses the user, the help screen -alone ends up confusing rather providing guidance, as seen below: - - - -And, not only are there numerous features and options, but some of them also -work in unexpected ways and most of the time the user ends up using a custom -script. Pruning and simplifying the interface will be worth considering in -order to make the tool more useful in the general case and easier to maintain. +alone ends up confusing rather providing guidance. And, not only are there +numerous features and options, but some of them also work in unexpected ways +and most of the time the user ends up using a custom script. Pruning and +simplifying the interface will be worth considering in order to make the tool +more useful in the general case and easier to maintain. |
