diff options
| author | comet <hjung524@gmail.com> | 2020-01-27 16:54:28 -0600 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-28 12:41:22 +0000 |
| commit | 64a2b1a93648461f11daa44911d791c28bc00885 (patch) | |
| tree | e8691d450ce57a6ce798ef544dc2ae8acc1bf213 | |
| parent | d9888fcefc216b16404a39ac7b82a8fd8d5f343f (diff) | |
| download | klee-64a2b1a93648461f11daa44911d791c28bc00885.tar.gz | |
update
| -rw-r--r-- | lib/Solver/CexCachingSolver.cpp | 4 | ||||
| -rwxr-xr-x | scripts/build/build.sh | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/lib/Solver/CexCachingSolver.cpp b/lib/Solver/CexCachingSolver.cpp index 27a165e1..a7d8148d 100644 --- a/lib/Solver/CexCachingSolver.cpp +++ b/lib/Solver/CexCachingSolver.cpp @@ -123,7 +123,7 @@ struct NullOrSatisfyingAssignment { /// searchForAssignment - Look for a cached solution for a query. /// /// \param key - The query to look up. -/// \param result [out] - The cached result, if the lookup is succesful. This is +/// \param result [out] - The cached result, if the lookup is successful. This is /// either a satisfying assignment (for a satisfiable query), or 0 (for an /// unsatisfiable query). /// \return - True if a cached result was found. @@ -192,7 +192,7 @@ bool CexCachingSolver::searchForAssignment(KeyType &key, Assignment *&result) { /// /// \param query - The query to lookup. /// \param key [out] - On return, the key constructed for the query. -/// \param result [out] - The cached result, if the lookup is succesful. This is +/// \param result [out] - The cached result, if the lookup is successful. This is /// either a satisfying assignment (for a satisfiable query), or 0 (for an /// unsatisfiable query). /// \return True if a cached result was found. diff --git a/scripts/build/build.sh b/scripts/build/build.sh index 65aaa08a..e869116b 100755 --- a/scripts/build/build.sh +++ b/scripts/build/build.sh @@ -539,7 +539,7 @@ get_all_dependencies() { mapfile -t deps_list <<< "$(get_all_dependencies_rec "$v" "$type")" [[ "${failed}" -eq 1 ]] && continue - # Make sure items are unique and keep the order of occurence + # Make sure items are unique and keep the order of occurrence for di in "${deps_list[@]}"; do local found=0 for f in "${final_list[@]}"; do |