> On 28 Nov 2018, at 21:37, Manuel Leuenberger <leuenber...@inf.unibe.ch> wrote:
> 
> Awesome, thanks for the effort Marcus! 
> 
> I was wondering if it would be useful to use matrix-testing for MetaLinks. I 
> imagine having example methods which employ all features of the Smalltalk 
> syntax (syntax on a postcard?), for which all intermediate results of 
> expressions are known, then apply MetaLinks in all possible combinations 
> (arguments x control) and check the reifications and side-effects against the 
> oracle. Then the tests would generate a matrix of which combinations work and 
> which don't. This should cover most of the possible executions.
> 

Yes, that would be nice.

        Marcus


Reply via email to