Contents

include "types.sfp"

initial state {
	a isa Service {
		running is true
	}

	b isa Service // with "running" is false

	pc isa Client {
		refer is a
	}
}

goal constraint {
	pc.refer is b
	a.running is false
}

global constraint {
	pc.refer.running is true
}

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
sfp-0.1.1	test/task.sfp
sfp-0.1.0	test/task.sfp