@lenaRB : Please find here the fixes for:
1) the "old_EnsureAtEnd" test
2) testing the evaluation of catagories (see Varying1_no_ext.crml and Varying2_no_ext.crml examples).
For the latter point I hope the syntax is correct and reflects our last discussion (like the addition of keywords "apply on").
I'll provide simulation reference results later in an upcoming commit today.
@lenaRB : Please find here the fixes for: 1) the "old_EnsureAtEnd" test 2) testing the evaluation of catagories (see Varying1_no_ext.crml and Varying2_no_ext.crml examples).
For the latter point I hope the syntax is correct and reflects our last discussion (like the addition of keywords "apply on").
I'll provide simulation reference results later in an upcoming commit today.