undefined | Better HN

0 pointsAstralStorm6y ago0 comments

The only other solution is exhaustive property testing. And even that is not workable when concurrency is in play.

0 comments

Good luck exhaustively testing something with a cryptographic key as input. Non-exhaustive property testing is also pretty cool, though.

There do exist frameworks that allow exhaustive testing of concurrent code. They never really became mainstream though.

j / k navigate · click thread line to collapse

0 pointsAstralStorm6y ago0 comments

The only other solution is exhaustive property testing. And even that is not workable when concurrency is in play.

Good luck exhaustively testing something with a cryptographic key as input. Non-exhaustive property testing is also pretty cool, though.

There do exist frameworks that allow exhaustive testing of concurrent code. They never really became mainstream though.

j / k navigate · click thread line to collapse