Contents

#!/usr/bin/env sfp

include "test.inc"

initial state {
	a isa S
	b isa S
}

goal constraint {
	a.foo is false
	b.foo is false
}

Version data entries

2 entries across 2 versions & 1 rubygems

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