This repository was archived by the owner on Jun 18, 2021. It is now read-only.
This repository was archived by the owner on Jun 18, 2021. It is now read-only.
Fix CI #356
Description
From https://travis-ci.org/advancedtelematic/quickcheck-state-machine/jobs/582287824 :
AnnotateC "ExceptionThrown \"UnexpectedResponse \\\"peers were empty while querying status! This probably indicates that the node path /rqlite/file/data does not exist or the peers file was deleted\\\"\"" BotC
dot: runInteractiveProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
FAIL (618.78s)
*** Failed! Falsified (after 10 tests):
ParallelCommands
{ prefix =
Commands
{ unCommands =
[ Command
Spawn
0
1
s
1
s
Nothing
Resp
(Right (Spawned (Reference (Symbolic (Var 0)))))
[ Var 0 ]
, Command
Insert
(Reference (Symbolic (Var 0)))
Person { name = "Robert" , age = 88 }
Resp
(Right Unit)
[]
]
}
, suffixes =
[ Pair
{ proj1 =
Commands
{ unCommands =
[ Command
Spawn
1
1
s
1
s
(Just 0)
Resp
(Right (Spawned (Reference (Symbolic (Var 1)))))
[ Var 1 ]
]
}
, proj2 =
Commands
{ unCommands =
[ Command
Insert
(Reference (Symbolic (Var 0)))
Person { name = "Kostas" , age = 45 }
Resp
(Right Unit)
[]
, Command
Spawn
2
1
s
1
s
(Just 0)
Resp
(Right (Spawned (Reference (Symbolic (Var 2)))))
[ Var 2 ]
]
}
}
, Pair
{ proj1 = Commands { unCommands = [] }
, proj2 =
Commands
{ unCommands =
[ Command Stop (Reference (Symbolic (Var 2))) Resp (Right Unit) []
]
}
}
, Pair
{ proj1 =
Commands
{ unCommands =
[ Command
ReSpawn
2
2
1
s
1
s
(Just 1)
Resp
(Right (Spawned (Reference (Symbolic (Var 3)))))
[ Var 3 ]
]
}
, proj2 =
Commands
{ unCommands =
[ Command
Insert
(Reference (Symbolic (Var 1)))
Person { name = "Stevan" , age = 25 }
Resp
(Right Unit)
[]
]
}
}
, Pair
{ proj1 =
Commands
{ unCommands =
[ Command
Get
(Reference (Symbolic (Var 3)))
(Just Weak)
Resp
(Right
(Got
[ Person { name = "Stevan" , age = 25 }
, Person { name = "Kostas" , age = 45 }
, Person { name = "Robert" , age = 88 }
]))
[]
]
}
, proj2 =
Commands
{ unCommands =
[ Command
Get
(Reference (Symbolic (Var 3)))
(Just Weak)
Resp
(Right
(Got
[ Person { name = "Stevan" , age = 25 }
, Person { name = "Kostas" , age = 45 }
, Person { name = "Robert" , age = 88 }
]))
[]
, Command
Get
(Reference (Symbolic (Var 1)))
(Just Weak)
Resp
(Right
(Got
[ Person { name = "Stevan" , age = 25 }
, Person { name = "Kostas" , age = 45 }
, Person { name = "Robert" , age = 88 }
]))
[]
]
}
}
]
}
Use --quickcheck-replay=484527 to reproduce.