Skip to content

Commit 71a9d5c

Browse files
authored
chore(antithesis): Alter dogstatsd generation to is_malformed regime (#2215)
## Summary <!-- Please provide a brief summary about what this PR does. This should help the reviewers give feedback faster and with higher quality. --> Our previous approach to generating dogstatsd load for use in the Antithesis rig was very Datadog/lading inspired: generate something that is correct-by-construction and then bias the result to be 'interesting'. This works well but the biasing systematically avoids conditions that are not-malformed -- that is, accepted by the SUT -- but are demonstrative of goofy behavior. This commit changes the generator to be a hybrid of that approach with a state search approach. We define a predicate `is_malformed` that confirms whether or not a payload will be accepted by the SUT and then payloads which are not malformed, however strange, are transmitted. ## Change Type - [ ] Bug fix - [ ] New feature - [x] Non-functional (chore, refactoring, docs) - [ ] Performance ## How did you test this PR? <!-- Please how you tested these changes here --> ## References <!-- Please list any issues closed by this PR. --> <!-- - Closes: <issue link> --> <!-- Any other issues or PRs relevant to this PR? Feel free to list them here. -->
1 parent 4d40f35 commit 71a9d5c

13 files changed

Lines changed: 1526 additions & 610 deletions

File tree

Cargo.lock

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

test/antithesis/harness/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@ ryu = { workspace = true }
2424
serde = { workspace = true }
2525
serde_json = { workspace = true }
2626
serde_yaml = { workspace = true }
27+
simdutf8 = { workspace = true }
2728

2829
[dev-dependencies]
2930
proptest = { workspace = true }

test/antithesis/harness/proptest-regressions/payload/dogstatsd.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@
55
# It is recommended to check this file in to source control so that
66
# everyone who runs the test benefits from these saved cases.
77
cc 377cba92b14295b3fe5c6f2738a398ee042be8e35f529398ecf9e275e6b0a1da # shrinks to seed = 0
8+
cc 1f807f27fdbf0b983fc773b815b21d6023e1bce87691d07133b438b862edcc5b # shrinks to seed = 6079028945602138863, limit_bytes = 21

0 commit comments

Comments
 (0)