You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@cassandra.apache.org by mc...@apache.org on 2020/10/20 12:56:41 UTC
[cassandra-harry] branch trunk updated (4dbf969 -> 7360458)
This is an automated email from the ASF dual-hosted git repository.
mck pushed a change to branch trunk
in repository https://gitbox.apache.org/repos/asf/cassandra-harry.git.
from 4dbf969 Initialize empty repository
add 1d7f66e Harry: generator library and extensible framework for fuzz testing Apache Cassandra
add 3705021 Readme improvements
add c950d3a Add license headers and NOTICE according to PMC review/feedback.
add a8270c7 Patch introduces the following changes:
add b6921d4 Ninja: Add asf.yml
add 6adedb0 Update README.md
add 4fc41eb Rename .asf.yml to .asf.yaml
add 372e5f0 Add a renamed .asf.yaml back
add 7360458 Update jackson dependency to 2.11.3 to force yaml to 1.26
No new revisions were added by this update.
Summary of changes:
.asf.yaml | 10 +
LICENSE.txt | 209 +++++
Makefile | 27 +
NOTICE.txt | 5 +
README.md | 541 ++++++++++++
conf/example.yaml | 90 ++
docker/Dockerfile.local | 35 +
docker/run-local.sh | 17 +
docker/run.sh | 105 +++
harry-core/pom.xml | 86 ++
harry-core/src/harry/core/Configuration.java | 908 +++++++++++++++++++++
harry-core/src/harry/core/Run.java | 73 ++
.../src/harry/corruptor/AddExtraRowCorruptor.java | 90 ++
.../src/harry/corruptor/ChangeValueCorruptor.java | 85 ++
.../src/harry/corruptor/HideRowCorruptor.java | 49 ++
.../src/harry/corruptor/HideValueCorruptor.java | 74 ++
.../harry/corruptor/QueryResponseCorruptor.java | 71 ++
harry-core/src/harry/corruptor/RowCorruptor.java | 50 ++
.../src/harry/corruptor/ShowValueCorruptor.java | 77 ++
harry-core/src/harry/data/ResultSetRow.java | 60 ++
harry-core/src/harry/ddl/ColumnSpec.java | 338 ++++++++
harry-core/src/harry/ddl/SchemaGenerators.java | 407 +++++++++
harry-core/src/harry/ddl/SchemaSpec.java | 330 ++++++++
harry-core/src/harry/generators/Bijections.java | 416 ++++++++++
.../src/harry/generators/BooleanGenerator.java | 29 +
harry-core/src/harry/generators/Bytes.java | 42 +
harry-core/src/harry/generators/Collections.java | 248 ++++++
.../src/harry/generators/DataGenerators.java | 468 +++++++++++
harry-core/src/harry/generators/Generator.java | 131 +++
harry-core/src/harry/generators/Generators.java | 92 +++
harry-core/src/harry/generators/PCGFastPure.java | 145 ++++
harry-core/src/harry/generators/PcgRSUFast.java | 81 ++
.../src/harry/generators/RandomGenerator.java | 87 ++
harry-core/src/harry/generators/RngUtils.java | 96 +++
.../src/harry/generators/StringBijection.java | 171 ++++
harry-core/src/harry/generators/Surjections.java | 167 ++++
.../generators/distribution/Distribution.java | 137 ++++
harry-core/src/harry/model/DataTracker.java | 123 +++
.../src/harry/model/DescriptorSelectorBuilder.java | 104 +++
harry-core/src/harry/model/DoNothingModel.java | 38 +
harry-core/src/harry/model/ExhaustiveChecker.java | 647 +++++++++++++++
harry-core/src/harry/model/Model.java | 69 ++
harry-core/src/harry/model/OpSelectors.java | 627 ++++++++++++++
harry-core/src/harry/model/QuiescentChecker.java | 118 +++
harry-core/src/harry/model/SelectHelper.java | 127 +++
.../harry/model/StatelessVisibleRowsChecker.java | 124 +++
harry-core/src/harry/model/VisibleRowsChecker.java | 248 ++++++
.../model/clock/ApproximateMonotonicClock.java | 280 +++++++
harry-core/src/harry/model/clock/OffsetClock.java | 61 ++
harry-core/src/harry/model/sut/NoOpSut.java | 44 +
harry-core/src/harry/model/sut/PrintlnSut.java | 48 ++
.../src/harry/model/sut/SystemUnderTest.java | 54 ++
.../src/harry/operations/CompiledStatement.java | 56 ++
harry-core/src/harry/operations/DeleteHelper.java | 127 +++
harry-core/src/harry/operations/Relation.java | 350 ++++++++
harry-core/src/harry/operations/WriteHelper.java | 148 ++++
harry-core/src/harry/reconciler/Reconciler.java | 250 ++++++
.../src/harry/runner/AbstractPartitionVisitor.java | 103 +++
.../runner/DefaultPartitionVisitorFactory.java | 198 +++++
harry-core/src/harry/runner/DefaultRowVisitor.java | 68 ++
harry-core/src/harry/runner/PartitionVisitor.java | 26 +
harry-core/src/harry/runner/Query.java | 298 +++++++
harry-core/src/harry/runner/QuerySelector.java | 300 +++++++
harry-core/src/harry/runner/RowVisitor.java | 61 ++
harry-core/src/harry/runner/Runner.java | 396 +++++++++
harry-core/src/harry/runner/Validator.java | 119 +++
harry-core/src/harry/util/BitSet.java | 202 +++++
harry-core/src/harry/util/Ranges.java | 150 ++++
harry-core/src/harry/util/TestRunner.java | 62 ++
.../test/harry/generators/DataGeneratorsTest.java | 500 ++++++++++++
.../test/harry/generators/ExtensionsTest.java | 41 +
.../test/harry/generators/RandomGeneratorTest.java | 117 +++
.../test/harry/generators/SurjectionsTest.java | 62 ++
.../test/harry/model/ApproximateClockTest.java | 182 +++++
harry-core/test/harry/model/OpSelectorsTest.java | 271 ++++++
harry-core/test/harry/op/RowVisitorTest.java | 107 +++
harry-core/test/harry/operations/RelationTest.java | 212 +++++
harry-core/test/harry/util/BitSetTest.java | 63 ++
harry-core/test/harry/util/RangesTest.java | 100 +++
harry-integration/pom.xml | 66 ++
.../src/harry/model/sut/ExternalClusterSut.java | 149 ++++
.../src/harry/model/sut/InJvmSut.java | 166 ++++
.../test/harry/QuickTheoriesAdapter.java | 69 ++
.../test/harry/ddl/SchemaGenTest.java | 206 +++++
.../model/ExhaustiveCheckerIntegrationTest.java | 254 ++++++
.../harry/model/ExhaustiveCheckerUnitTest.java | 161 ++++
.../test/harry/model/IntegrationTestBase.java | 99 +++
harry-integration/test/harry/model/MockSchema.java | 115 +++
harry-integration/test/harry/model/ModelTest.java | 147 ++++
.../harry/model/QuerySelectorNegativeTest.java | 144 ++++
.../test/harry/model/QuerySelectorTest.java | 153 ++++
.../model/QuiescentCheckerIntegrationTest.java | 170 ++++
.../test/harry/model/TestBaseImpl.java | 32 +
harry-runner/pom.xml | 55 ++
harry-runner/src/harry/runner/HarryRunner.java | 204 +++++
harry-runner/src/harry/runner/Reproduce.java | 68 ++
pom.xml | 245 ++++++
test/conf/logback-dtest.xml | 76 ++
98 files changed, 15907 insertions(+)
create mode 100644 .asf.yaml
create mode 100644 LICENSE.txt
create mode 100644 Makefile
create mode 100644 NOTICE.txt
create mode 100644 README.md
create mode 100644 conf/example.yaml
create mode 100644 docker/Dockerfile.local
create mode 100755 docker/run-local.sh
create mode 100755 docker/run.sh
create mode 100755 harry-core/pom.xml
create mode 100644 harry-core/src/harry/core/Configuration.java
create mode 100644 harry-core/src/harry/core/Run.java
create mode 100644 harry-core/src/harry/corruptor/AddExtraRowCorruptor.java
create mode 100644 harry-core/src/harry/corruptor/ChangeValueCorruptor.java
create mode 100644 harry-core/src/harry/corruptor/HideRowCorruptor.java
create mode 100644 harry-core/src/harry/corruptor/HideValueCorruptor.java
create mode 100644 harry-core/src/harry/corruptor/QueryResponseCorruptor.java
create mode 100644 harry-core/src/harry/corruptor/RowCorruptor.java
create mode 100644 harry-core/src/harry/corruptor/ShowValueCorruptor.java
create mode 100644 harry-core/src/harry/data/ResultSetRow.java
create mode 100644 harry-core/src/harry/ddl/ColumnSpec.java
create mode 100644 harry-core/src/harry/ddl/SchemaGenerators.java
create mode 100644 harry-core/src/harry/ddl/SchemaSpec.java
create mode 100644 harry-core/src/harry/generators/Bijections.java
create mode 100644 harry-core/src/harry/generators/BooleanGenerator.java
create mode 100644 harry-core/src/harry/generators/Bytes.java
create mode 100644 harry-core/src/harry/generators/Collections.java
create mode 100644 harry-core/src/harry/generators/DataGenerators.java
create mode 100644 harry-core/src/harry/generators/Generator.java
create mode 100644 harry-core/src/harry/generators/Generators.java
create mode 100644 harry-core/src/harry/generators/PCGFastPure.java
create mode 100644 harry-core/src/harry/generators/PcgRSUFast.java
create mode 100644 harry-core/src/harry/generators/RandomGenerator.java
create mode 100644 harry-core/src/harry/generators/RngUtils.java
create mode 100644 harry-core/src/harry/generators/StringBijection.java
create mode 100644 harry-core/src/harry/generators/Surjections.java
create mode 100644 harry-core/src/harry/generators/distribution/Distribution.java
create mode 100644 harry-core/src/harry/model/DataTracker.java
create mode 100644 harry-core/src/harry/model/DescriptorSelectorBuilder.java
create mode 100644 harry-core/src/harry/model/DoNothingModel.java
create mode 100644 harry-core/src/harry/model/ExhaustiveChecker.java
create mode 100644 harry-core/src/harry/model/Model.java
create mode 100644 harry-core/src/harry/model/OpSelectors.java
create mode 100644 harry-core/src/harry/model/QuiescentChecker.java
create mode 100644 harry-core/src/harry/model/SelectHelper.java
create mode 100644 harry-core/src/harry/model/StatelessVisibleRowsChecker.java
create mode 100644 harry-core/src/harry/model/VisibleRowsChecker.java
create mode 100644 harry-core/src/harry/model/clock/ApproximateMonotonicClock.java
create mode 100644 harry-core/src/harry/model/clock/OffsetClock.java
create mode 100644 harry-core/src/harry/model/sut/NoOpSut.java
create mode 100644 harry-core/src/harry/model/sut/PrintlnSut.java
create mode 100644 harry-core/src/harry/model/sut/SystemUnderTest.java
create mode 100644 harry-core/src/harry/operations/CompiledStatement.java
create mode 100644 harry-core/src/harry/operations/DeleteHelper.java
create mode 100644 harry-core/src/harry/operations/Relation.java
create mode 100644 harry-core/src/harry/operations/WriteHelper.java
create mode 100644 harry-core/src/harry/reconciler/Reconciler.java
create mode 100644 harry-core/src/harry/runner/AbstractPartitionVisitor.java
create mode 100644 harry-core/src/harry/runner/DefaultPartitionVisitorFactory.java
create mode 100644 harry-core/src/harry/runner/DefaultRowVisitor.java
create mode 100644 harry-core/src/harry/runner/PartitionVisitor.java
create mode 100644 harry-core/src/harry/runner/Query.java
create mode 100644 harry-core/src/harry/runner/QuerySelector.java
create mode 100644 harry-core/src/harry/runner/RowVisitor.java
create mode 100644 harry-core/src/harry/runner/Runner.java
create mode 100644 harry-core/src/harry/runner/Validator.java
create mode 100644 harry-core/src/harry/util/BitSet.java
create mode 100644 harry-core/src/harry/util/Ranges.java
create mode 100644 harry-core/src/harry/util/TestRunner.java
create mode 100644 harry-core/test/harry/generators/DataGeneratorsTest.java
create mode 100644 harry-core/test/harry/generators/ExtensionsTest.java
create mode 100644 harry-core/test/harry/generators/RandomGeneratorTest.java
create mode 100644 harry-core/test/harry/generators/SurjectionsTest.java
create mode 100644 harry-core/test/harry/model/ApproximateClockTest.java
create mode 100644 harry-core/test/harry/model/OpSelectorsTest.java
create mode 100644 harry-core/test/harry/op/RowVisitorTest.java
create mode 100644 harry-core/test/harry/operations/RelationTest.java
create mode 100644 harry-core/test/harry/util/BitSetTest.java
create mode 100644 harry-core/test/harry/util/RangesTest.java
create mode 100755 harry-integration/pom.xml
create mode 100644 harry-integration/src/harry/model/sut/ExternalClusterSut.java
create mode 100644 harry-integration/src/harry/model/sut/InJvmSut.java
create mode 100644 harry-integration/test/harry/QuickTheoriesAdapter.java
create mode 100644 harry-integration/test/harry/ddl/SchemaGenTest.java
create mode 100644 harry-integration/test/harry/model/ExhaustiveCheckerIntegrationTest.java
create mode 100644 harry-integration/test/harry/model/ExhaustiveCheckerUnitTest.java
create mode 100644 harry-integration/test/harry/model/IntegrationTestBase.java
create mode 100644 harry-integration/test/harry/model/MockSchema.java
create mode 100644 harry-integration/test/harry/model/ModelTest.java
create mode 100644 harry-integration/test/harry/model/QuerySelectorNegativeTest.java
create mode 100644 harry-integration/test/harry/model/QuerySelectorTest.java
create mode 100644 harry-integration/test/harry/model/QuiescentCheckerIntegrationTest.java
create mode 100644 harry-integration/test/harry/model/TestBaseImpl.java
create mode 100755 harry-runner/pom.xml
create mode 100644 harry-runner/src/harry/runner/HarryRunner.java
create mode 100644 harry-runner/src/harry/runner/Reproduce.java
create mode 100755 pom.xml
create mode 100644 test/conf/logback-dtest.xml
---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@cassandra.apache.org
For additional commands, e-mail: commits-help@cassandra.apache.org