Offer a way in the testing language to write Stratego strategies/rules at the top level, that can then be used in all the tests in a file. This would improve TDD-ing a complex strategy a lot. That is, first develop the strategy in the testing language, only once all tests succeed move it to a .str file.

Example:

module x
language Foo

strategy foo = id

test foo does this
“a” => “a”

test foo does that
“b” => “b”

Submitted by Tobi Vollebregt on 9 December 2011 at 16:44

+1000