Commit 3088cdc
committed
chore(antithesis): Alter dogstatsd generation to is_malformed regime
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.1 parent 4d40f35 commit 3088cdc
13 files changed
Lines changed: 1526 additions & 610 deletions
File tree
- test/antithesis
- harness
- proptest-regressions/payload
- src
- payload
- dogstatsd
- scenarios
- differential/src/bin
- general/src/bin
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
| 27 | + | |
27 | 28 | | |
28 | 29 | | |
29 | 30 | | |
| |||
Lines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| 8 | + | |
0 commit comments