Sha256: 31fc420be196a7087e74cbffc8e09e0128952140c28607246cf28cac0c6cc5b8

Contents?: true

Size: 362 Bytes

Versions: 3

Compression:

Stored size: 362 Bytes

Contents

include "service-schemas.sfp"

initial state {
	s1 isa Service {
		installed is true
		running either (true, false)
	}
	s2 isa Service {
		installed is true
		running either (true, false)
	}
	pc isa Client {
		refer either (s1, s2)
	}
}
goal constraint {
	s1.running is false
	s2.running is true
	pc.refer is s2
}
global constraint {
	pc.refer.running is true
}

Version data entries

3 entries across 3 versions & 1 rubygems

Version Path
sfp-0.2.1 test/nd-service1.sfp
sfp-0.2.0 test/nd-service1.sfp
sfp-0.1.3 test/nd-service1.sfp