Skip to content

Commit cb01c7b

Browse files
authored
Fix CHANGELOG of 0.60.0 (#3925)
The change `* Autoharness Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3874` should be of Major Changes instead of Breaking Changes. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
1 parent 67cd1e6 commit cb01c7b

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

CHANGELOG.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,11 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
77
## [0.60.0]
88

99
### Breaking Changes
10-
* Autoharness Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3874
1110
* Remove Ubuntu 20.04 CI usage by @tautschnig in https://github.com/model-checking/kani/pull/3918
1211

12+
### Major Changes
13+
* Autoharness Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3874
14+
1315
### What's Changed
1416
* Fast fail option - Stop verification process as soon as one failure is observed by @rajath-mk in https://github.com/model-checking/kani/pull/3879
1517
* Fail verification for UB regardless of whether `#[should_panic]` is enabled by @tautschnig in https://github.com/model-checking/kani/pull/3860

0 commit comments

Comments
 (0)