Fix CI

[stevana]

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.

[stevana]

And the Stack builds all seem to miss the cache and timeout...

[kderme]

I'll take a look at these next days.