Re: [dev-servo] Servo testing as part of PhD dissertation

2016-09-07 Thread Robert O'Callahan
On Thu, Sep 8, 2016 at 4:12 AM, Lars Bergstrom wrote: > Along those lines, it's also worth looking at the very recent awesome > work at the University of Washington formalizing layout (upcoming > paper at OOPSLA): > http://cassius.uwplse.org/ > > I've been in contact with

Re: [dev-servo] Servo testing as part of PhD dissertation

2016-09-07 Thread Geoffrey Sneddon
On 07/09/16 17:13, Boris Zbarsky wrote: > On 9/7/16 11:55 AM, Geoffrey Sneddon wrote: >> There are plenty of rendering bugs that don't involve text, and >> practically if you're generating arbitrary web pages it's easy to solve >> all of those problems by simply not including text (though you'll

Re: [dev-servo] Servo testing as part of PhD dissertation

2016-09-07 Thread Boris Zbarsky
On 9/7/16 11:55 AM, Geoffrey Sneddon wrote: There are plenty of rendering bugs that don't involve text, and practically if you're generating arbitrary web pages it's easy to solve all of those problems by simply not including text (though you'll need to give boxes explicit heights!). Does

Re: [dev-servo] Servo testing as part of PhD dissertation

2016-09-07 Thread Lars Bergstrom
On Wed, Sep 7, 2016 at 10:55 AM, Geoffrey Sneddon wrote: >> >> However I think you might make progress with some sort of >> consensus-based approach e.g. take a testcase and render it in >> gecko/blink/webkit/edge. If the difference by some metric (e.g. number >> of differing

Re: [dev-servo] Servo testing as part of PhD dissertation

2016-09-07 Thread Geoffrey Sneddon
On 06/09/16 21:58, James Graham wrote: > [not sure if this will make it through to the list] > > On 06/09/16 21:35, Jack Moffitt wrote: >>> I haven't quite settled on my dissertation topic, but my top >>> contender at >>> the moment involves property-based (i.e. QuickCheck style) generation of