search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
564 stars 33 forks source link

Deprecate `@ModelCheckingCTest` and `@ModelCheckingCTest` annotations #150

Open ndkoval opened 1 year ago

alefedor commented 1 year ago

Please consider marking them as deprecated instead as many tests used these annotations

ndkoval commented 1 year ago

Note that bucket4j and grpc-jaca use these annotations: https://grep.app/search?q=kotlinx.lincheck&filter[repo][0]=bucket4j/bucket4j https://grep.app/search?q=kotlinx.lincheck&filter[repo][0]=grpc/grpc-java

ndkoval commented 1 year ago

@alefedor, sure, we will deprecate them first.