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.denker@inria.fr> a écrit :
On 28 Nov 2018, at 21:37, Manuel Leuenberger <leuenberger@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