Sha256: d288cae6c2fba734845192498e0500dfdb012b91744a95dbbb3a101856184735
Contents?: true
Size: 478 Bytes
Versions: 3
Compression:
Stored size: 478 Bytes
Contents
include "service-schemas.sfp" // generate all possible states with constraint solver initial state { s1 isa Service { installed is true running either (true, false) } s2 isa Service { installed is true running either (true, false) } s3 isa Service { installed is true running either (true, false) } pc isa Client { installed is true refer either (s1, s2) } } goal constraint { pc.refer.running is true } 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-service2.sfp |
sfp-0.2.0 | test/nd-service2.sfp |
sfp-0.1.3 | test/nd-service2.sfp |