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
47 lines
1.9 KiB
XML
47 lines
1.9 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<classpath>
|
|
<classpathentry kind="src" output="bin/main" path="src/main/java">
|
|
<attributes>
|
|
<attribute name="gradle_scope" value="main"/>
|
|
<attribute name="gradle_used_by_scope" value="main,test"/>
|
|
</attributes>
|
|
</classpathentry>
|
|
<classpathentry kind="src" output="bin/test" path="src/test/java">
|
|
<attributes>
|
|
<attribute name="gradle_scope" value="test"/>
|
|
<attribute name="gradle_used_by_scope" value="test"/>
|
|
<attribute name="test" value="true"/>
|
|
</attributes>
|
|
</classpathentry>
|
|
<classpathentry kind="src" output="bin/main" path="src/main/resources">
|
|
<attributes>
|
|
<attribute name="gradle_scope" value="main"/>
|
|
<attribute name="gradle_used_by_scope" value="main,test"/>
|
|
</attributes>
|
|
</classpathentry>
|
|
<classpathentry kind="src" output="bin/jmh" path="src/jmh/java">
|
|
<attributes>
|
|
<attribute name="gradle_scope" value="jmh"/>
|
|
<attribute name="gradle_used_by_scope" value="jmh"/>
|
|
<attribute name="test" value="true"/>
|
|
</attributes>
|
|
</classpathentry>
|
|
<classpathentry kind="src" output="bin/jmh" path="build/third-party/snowball/source/libstemmer_java-3.0.1/java">
|
|
<attributes>
|
|
<attribute name="gradle_scope" value="jmh"/>
|
|
<attribute name="gradle_used_by_scope" value="jmh"/>
|
|
<attribute name="test" value="true"/>
|
|
</attributes>
|
|
</classpathentry>
|
|
<classpathentry kind="src" output="bin/test" path="src/test/resources">
|
|
<attributes>
|
|
<attribute name="gradle_scope" value="test"/>
|
|
<attribute name="gradle_used_by_scope" value="test"/>
|
|
<attribute name="test" value="true"/>
|
|
</attributes>
|
|
</classpathentry>
|
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
|
|
<classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
|
|
<classpathentry kind="output" path="bin/default"/>
|
|
</classpath>
|