jepsen-io / jepsen

A framework for distributed systems verification, with fault injection
6.68k stars 710 forks source link

Large states overflow HTML timeline boxes #524

Closed ajdavis closed 2 years ago

ajdavis commented 2 years ago

My system's state is an appendable list of ints. Its text representation quickly outgrows the boxes that timeline.html draws:

Screen Shot 2021-12-07 at 9 07 44 AM

I'll submit a PR to add overflow: hidden to the CSS, which should improve things (the whole state is visible as mouseover text):

Screen Shot 2021-12-07 at 9 23 46 AM

Maybe an additional improvement might be a hook that allows users to customize the text displayed in each box, but I'm too new at Clojure to make a PR for that.

ajdavis commented 2 years ago

Nevermind, fixed in https://github.com/jepsen-io/jepsen/commit/23a65e2c4c6b45355a203cdef5e176657cb2c7a9.