diff options
| author | Matthew Sotoudeh <sotoudeh@stanford.edu> | 2022-01-03 17:06:59 -0800 |
|---|---|---|
| committer | Matthew Sotoudeh <sotoudeh@stanford.edu> | 2022-01-03 17:06:59 -0800 |
| commit | eb49200b18e02362428addeb4536bfd6dd7b3dc0 (patch) | |
| tree | a58da1e2cbeb16efb9fed25482286a9807a68621 | |
| parent | 9a8015ce5d09a0d2b53b737f637f84a36e542d88 (diff) | |
Some formatting, remove sanitizers
| -rwxr-xr-x | matthew_conf.sh | 3 | ||||
| -rw-r--r-- | src/theory/arith/idl/idl_extension.cpp | 7 |
2 files changed, 5 insertions, 5 deletions
diff --git a/matthew_conf.sh b/matthew_conf.sh index c047f3a2f..1f005acc7 100755 --- a/matthew_conf.sh +++ b/matthew_conf.sh @@ -1,2 +1,3 @@ #!/bin/bash -./configure.sh debug --ubsan --asan --auto-download +# ./configure.sh debug --ubsan --asan --auto-download +./configure.sh debug --auto-download diff --git a/src/theory/arith/idl/idl_extension.cpp b/src/theory/arith/idl/idl_extension.cpp index 246e420ec..b1972f87b 100644 --- a/src/theory/arith/idl/idl_extension.cpp +++ b/src/theory/arith/idl/idl_extension.cpp @@ -363,12 +363,11 @@ bool IdlExtension::negativeCycle() if (!n_reachable[i][k]) continue; for (size_t j = 0; j < d_numVars; j++) { if (!n_reachable[k][j]) continue; - if (!n_reachable[i][j] || n_matrix[i][k] + n_matrix[k][j] < n_matrix[i][j]) { + if (!n_reachable[i][j] + || n_matrix[i][k] + n_matrix[k][j] < n_matrix[i][j]) { n_matrix[i][j] = n_matrix[i][k] + n_matrix[k][j]; n_reachable[i][j] = true; - if (i == j && n_matrix[i][j] < zero) { - return true; - } + if (i == j && n_matrix[i][j] < zero) return true; } } } |