29 ms·Quickstrom: Property Based Acceptance Testing with LTL Specifications2 points by BerislavLopac 5y ago