Quickcheck in pure functional ABS?

thalerjonathan / phd

Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary

GNU General Public License v3.0

30 stars 5 forks source link

Closed thalerjonathan closed 6 years ago

thalerjonathan commented 6 years ago

Investigate if and how property-based testing uising quickcheck can be used in ABS and if it has any benefits.

thalerjonathan commented 6 years ago

Have looked into it