rgrig/topl — Issue #4: dependencies between properties
Author: rgrig
Created: 2012-02-21 17:13:23+00:00
State: open

It is useful to write a property assuming that another one is checked in parallel (or was checked before). There should be some support in topl for this scenario.

For example

property Foo
assumes Bar
// ...

would import property Bar whenever we check property Foo.

Also, we should think carefully whether cyclic dependencies are problematic.