Leo Galambos
594abe2c4b
test: add property-based tests for FrequencyTrie determinism across repeated compilation test: verify semantic alignment of get(), getAll(), and getEntries() test: verify binary serialization and compressed persistence round-trip stability test: verify builder reconstruction preserves observable trie behavior test: add property-based tests for PatchCommandEncoder encode/apply round-trip and determinism test: add generated stemmer-trie properties ensuring returned patches reconstruct only acceptable stems test: introduce bounded reusable jqwik generators and scenario builders for maintainable property coverage build: add jqwik to test dependencies and integrate it with the existing JUnit Platform setup test: replace Jupiter display and tag annotations in jqwik suites with jqwik-native metadata to remove discovery warnings
113 lines
1.8 KiB
Plaintext
113 lines
1.8 KiB
Plaintext
##---------------------------------------------------------------------------------------- Java
|
|
|
|
# Compiled class file
|
|
*.class
|
|
|
|
# Log file
|
|
*.log
|
|
|
|
# BlueJ files
|
|
*.ctxt
|
|
|
|
# Mobile Tools for Java (J2ME)
|
|
.mtj.tmp/
|
|
|
|
# Package Files #
|
|
*.jar
|
|
*.war
|
|
*.nar
|
|
*.ear
|
|
*.zip
|
|
*.tar.gz
|
|
*.rar
|
|
|
|
# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
|
|
hs_err_pid*
|
|
|
|
##---------------------------------------------------------------------------------------- Eclipse
|
|
|
|
.metadata
|
|
bin/
|
|
tmp/
|
|
*.tmp
|
|
*.bak
|
|
*.swp
|
|
*~.nib
|
|
local.properties
|
|
.settings/
|
|
.loadpath
|
|
.recommenders
|
|
|
|
# External tool builders
|
|
.externalToolBuilders/
|
|
|
|
# Locally stored "Eclipse launch configurations"
|
|
*.launch
|
|
|
|
# PyDev specific (Python IDE for Eclipse)
|
|
*.pydevproject
|
|
|
|
# CDT-specific (C/C++ Development Tooling)
|
|
.cproject
|
|
|
|
# CDT- autotools
|
|
.autotools
|
|
|
|
# Java annotation processor (APT)
|
|
.factorypath
|
|
|
|
# PDT-specific (PHP Development Tools)
|
|
.buildpath
|
|
|
|
# sbteclipse plugin
|
|
.target
|
|
|
|
# Tern plugin
|
|
.tern-project
|
|
|
|
# TeXlipse plugin
|
|
.texlipse
|
|
|
|
# STS (Spring Tool Suite)
|
|
.springBeans
|
|
|
|
# Code Recommenders
|
|
.recommenders/
|
|
|
|
# Annotation Processing
|
|
.apt_generated/
|
|
.apt_generated_test/
|
|
|
|
# Scala IDE specific (Scala & Java development for Eclipse)
|
|
.cache-main
|
|
.scala_dependencies
|
|
.worksheet
|
|
|
|
# Uncomment this line if you wish to ignore the project description file.
|
|
# Typically, this file would be tracked if it contains build/dependency configurations:
|
|
#.project
|
|
|
|
# PMD plugin conf
|
|
.pmd
|
|
|
|
# jqwik local db
|
|
.jqwik-database
|
|
|
|
##---------------------------------------------------------------------------------------- Gradle
|
|
.gradle
|
|
**/build/
|
|
!src/**/build/
|
|
|
|
# Ignore Gradle GUI config
|
|
gradle-app.setting
|
|
|
|
# Avoid ignoring Gradle wrapper jar file (.jar files are usually ignored)
|
|
!gradle-wrapper.jar
|
|
|
|
# Cache of project
|
|
.gradletasknamecache
|
|
|
|
|
|
# Ignore Gradle build output directory
|
|
build
|