Hi Manuel, would that extend to testing what happens if you add many, many metalinks in a method?
I tried to rewrite the automated code tracer I had to use metalinks, and I gave up once I discovered that going over a certain number of metalinks in a method would stop working. Thierry Le jeu. 29 nov. 2018 à 09:03, Marcus Denker <marcus.den...@inria.fr> a écrit : > > > > > 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 > >
