Hypothesis: Property-Based Testing for Python
https://hypothesis.readthedocs.io/en/latest/
#HackerNews #PropertyBasedTesting #Python #Hypothesis #SoftwareTesting #TestingTools
Alex Akselrod
boosted
Updating my intro post here:
I am a #foodhistory nerd who loves cooking.
I #knit, #crochet, and #sew a bit.
I enjoy #kdrama and am learning #Korean.
Professionally I manage a fleet of #robots for #softwaretesting. I am listed on a JIRA ticket as "Robot God". I didn't write it.
alcinnz
boosted
Owi
https://github.com/OCamlPro/owi
Symbolic execution for #Wasm, #C, C++, #Rust and #Zig
"#Owi is an open-source framework for advanced #WebAssembly analysis and manipulation, with a focus on practical symbolic execution and robust tooling. It is designed for researchers, engineers, programming language enthusiasts and practitioners requiring precise, flexible, and extensible support program reasoning."
#FormalVerification#SoftwareTesting#Testing#SoftwareEngineering #RustLang#ZigLang
Owi
https://github.com/OCamlPro/owi
Symbolic execution for #Wasm, #C, C++, #Rust and #Zig
"#Owi is an open-source framework for advanced #WebAssembly analysis and manipulation, with a focus on practical symbolic execution and robust tooling. It is designed for researchers, engineers, programming language enthusiasts and practitioners requiring precise, flexible, and extensible support program reasoning."
#FormalVerification#SoftwareTesting#Testing#SoftwareEngineering #RustLang#ZigLang
Updating my intro post here:
I am a #foodhistory nerd who loves cooking.
I #knit, #crochet, and #sew a bit.
I enjoy #kdrama and am learning #Korean.
Professionally I manage a fleet of #robots for #softwaretesting. I am listed on a JIRA ticket as "Robot God". I didn't write it.