<div dir="auto">Hey,<div dir="auto"><br></div><div dir="auto">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. </div><div dir="auto"><br></div><div dir="auto">Simon </div></div><br><div class="gmail_quote"><div dir="ltr">On Sat, Nov 3, 2018, 8:07 AM Artyom Shalkhakov <<a href="mailto:artyom.shalkhakov@gmail.com">artyom.shalkhakov@gmail.com</a> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Hi Simon,<div dir="auto"><br></div><div dir="auto">What has been done about this? I'm very interested in making testing easy to do in Ur/Web.</div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jul 9, 2018, 2:52 PM Simon Van Casteren <<a href="mailto:simon.van.casteren@gmail.com" target="_blank" rel="noreferrer">simon.van.casteren@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hey,<div><br></div><div>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.</div><div><br></div><div>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.</div><div><br></div><div>Thanks for any help</div><div><br></div><div>Simon</div></div>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" rel="noreferrer noreferrer" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer noreferrer noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank" rel="noreferrer">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>