Sha256: 05a5cea8292268241870cf6862c210e4fb4f8397bb839dfebe3c81b1f6a4e9db
Contents?: true
Size: 282 Bytes
Versions: 7
Compression:
Stored size: 282 Bytes
Contents
include "test3.inc"
// generate all possible states with constraint solver
initial state {
s1 isa Service
s2 isa Service
s3 isa Service
}
goal constraint {
s1.running
s2.running
s3.running
}
global constraint {
if s1.running then s2.running
if s2.running then s3.running
}
Version data entries
7 entries across 7 versions & 2 rubygems