Hey, Unfortunately, nothing so far. All I have in my current project is unit tests, which are just an assert coupled with a page that runs it and generates output on a page.
Simon On Sat, Nov 3, 2018, 8:07 AM Artyom Shalkhakov <artyom.shalkha...@gmail.com wrote: > Hi Simon, > > What has been done about this? I'm very interested in making testing easy > to do in Ur/Web. > > On Mon, Jul 9, 2018, 2:52 PM Simon Van Casteren < > simon.van.caste...@gmail.com> wrote: > >> Hey, >> >> My current urweb project is getting quite big and there's a few places >> where property-based testing would be very handy. I've not found anything >> online though that can do this for urweb. Is anybody working on this? >> Porting Quickcheck or one of its derivatives from Haskell or PureScript >> would probably be the fast way to go. >> >> Secondly, I've found contract driven development to work extremely well >> with property-based testing. Again the same question: Has anyone used it in >> urweb? I'm just looking for a handy way to specify pre/post conditions and >> somehow have the compiler strip them out of production code. >> >> Thanks for any help >> >> Simon >> _______________________________________________ >> Ur mailing list >> Ur@impredicative.com >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >> > _______________________________________________ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur