gistfile1.txt

(deftest test-routing
  (checking (str "that when route-to is dispatched, the view"
                          "routed-to is added to the view-history and"
                          " that when route-back is dispatched, the view"
                          " routed to is the previous view in the view-"
                          "history") 100
    [routing-events (s/gen ::route-to-events)]
    (reset-db!)
    (run! dispatch-sync routing-events)
    (let [without-last-route (pop routing-events)
            view-history (get-in @re-frame.db/app-db [:wolo.db/view-history])]
      (is (= (mapv second routing-events) view-history))
      (fn []
        (dispatch-sync [:event/route-back])
        (is (= (val (last without-last-route)) view-history))))))