Open stevana opened 5 years ago
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.
And the Stack builds all seem to miss the cache and timeout...
I'll take a look at these next days.
From https://travis-ci.org/advancedtelematic/quickcheck-state-machine/jobs/582287824 :