Skip to content

Add AntithesisRng and CI workflow#22

Closed
teymour-aldridge wants to merge 3 commits intomainfrom
antithesis-rng
Closed

Add AntithesisRng and CI workflow#22
teymour-aldridge wants to merge 3 commits intomainfrom
antithesis-rng

Conversation

@teymour-aldridge
Copy link

@teymour-aldridge teymour-aldridge commented Feb 5, 2026

This adds an AntithesisRandom class that allows a drop-in replacement to random, e.g.

random = AntithesisRandom()

I also added a CI workflow (and reformatted the code) - if those should be separate PRs please let me know and I'll move those commits.

@teymour-aldridge teymour-aldridge marked this pull request as ready for review February 5, 2026 14:43
@mgibson-antithesis
Copy link

Adding reviewers. @winterqt can you look at the Nix change on the second commit (specifically)? And @mklefstad can you handle the python?

@teymour-aldridge teymour-aldridge changed the title Add AntithesisRng class. Add AntithesisRng and CI workflow Feb 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants