Right now, when running CT test on applications revision numbers are sampled among the full range of specified revisions. In the future, we might want to restrict tests to a sub-range of revisions (e.g. only Berlin-Istanbul) or even individual revisions (only London). This should be supported by the driver.
To restrict the revisions, every rule condition should be extended by a respective clause before calling the generator. Rules for which no satisfying assignment can be produced (e.g. a rule for revision Berlin when only revision London is to be tested) should be listed as skipped.
Right now, when running CT test on applications revision numbers are sampled among the full range of specified revisions. In the future, we might want to restrict tests to a sub-range of revisions (e.g. only
Berlin-Istanbul) or even individual revisions (onlyLondon). This should be supported by the driver.To restrict the revisions, every rule condition should be extended by a respective clause before calling the generator. Rules for which no satisfying assignment can be produced (e.g. a rule for revision
Berlinwhen only revisionLondonis to be tested) should be listed as skipped.