- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Documentation
path like ".*/docs/.*"
10 files:

docs/cfg/buildprofiles.xml
docs/lincheck-guide.md
docs/writerside.cfg
docs/topics/introduction.md
docs/topics/operation-arguments.md
docs/topics/lincheck-guide.md
docs/topics/constraints.md
docs/topics/testing-strategies.md
docs/topics/progress-guarantees.md
docs/topics/sequential-specification.md
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Hidden files and folders
path like ".*/[.][a-zA-Z0-9_]+.*"
6 files:

.idea/runConfigurations/Trace_debugger_Remote.xml
.idea/vcs.xml
.idea/copyright/kotlinx_lincheck.xml
.idea/copyright/profiles_settings.xml
.devcontainer/devcontainer.json
.gitignore
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Too long file (1000000+ bytes)
2 files:

src/jvm/test/resources/expected_logs/run_concurrent_test/coroutines/coroutines.txt
git-history.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Gradle
path like ".*/gradle/wrapper/.*"
1 files:

gradle/wrapper/gradle-wrapper.properties
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -