pn <- arbitrary
sn <- arbitrary
vcpus <- arbitrary
- return $ Instance.create name mem dsk vcpus run_st pn sn
+ return $ Instance.create name mem dsk vcpus run_st [] pn sn
-- and a random node
instance Arbitrary Node.Node where
let run_st = Instance.running inst
run_tx = Instance.runSt inst
in
- run_tx == "running" || run_tx == "ERROR_up" ==> run_st
+ run_tx `elem` Instance.runningStates ==> run_st
prop_Instance_runStatus_False inst =
let run_st = Instance.running inst
run_tx = Instance.runSt inst
in
- run_tx /= "running" && run_tx /= "ERROR_up" ==> not run_st
+ run_tx `notElem` Instance.runningStates ==> not run_st
testInstance =
[ run prop_Instance_setIdx
then sdx + 1
else sdx
ndx = [(pnode, pdx), (rsnode, rsdx)]
+ tags = ""
inst = Text.loadInst ndx
- [name, mem_s, dsk_s, vcpus_s, status, pnode, rsnode]::
+ [name, mem_s, dsk_s, vcpus_s, status, pnode, rsnode, tags]::
Maybe (String, Instance.Instance)
_types = ( name::String, mem::Int, dsk::Int
, vcpus::Int, status::String