changeset 74807 | d1d3d4439ac2 |
parent 74797 | 1c2863734db1 |
child 74820 | 98b3c7ab8c0f |
--- a/NEWS Tue Nov 16 21:47:38 2021 +0100 +++ b/NEWS Tue Nov 16 22:38:34 2021 +0100 @@ -206,7 +206,7 @@ . veriT 2021.06.1-rmx . Zipperposition 2.1 . Z3 4.4.1 for arm64-linux, which approximates Z3 4.4.0pre, - but sometimes failes or crashes + but sometimes fails or crashes - Adjusted default provers: cvc4 vampire verit e spass z3 zipperposition - Adjusted Zipperposition's slicing.