WebCheck is a browser testing frameworkcombining ideas from property-based testing, TLA+ and linear temporallogic, and functional programming. In this post I’ll share my resultsof testing TodoMVC implementations using WebCheck.
WebCheck is a browser testing frameworkcombining ideas from property-based testing, TLA+ and linear temporallogic, and functional programming. In this post I’ll share my resultsof testing TodoMVC implementations using WebCheck.