debugger_cli binary has no way to be built

[erickt]

Looking through the repository, src/bin/debugger_cli.rs is not configured to be built. I tried to add it in, but it's missing some dependencies. First there is reference to a distill crate, that does not appear in the local directory or in crates.io. Second, there's reference to debugger_shared, which doesn't exist in the directory.

[andrewjstone]

Once upon a time there was a property based state machine testing library called distill that recorded all messages through the scheduler during testing. The debugger would use those traces to allows stepping forward and backward through them and showing diffs of the states of different replicas. While handy as an application level test debugger it was a bit to maintain and wasn't exactly a bastion of good design. It was abandoned in favor of the quickcheck crate.

I actually removed all traces to it finally in the enum_fsm branch the other day, as it appears I never completed the cleanup. I'll close this out when that gets merged in.

[erickt]

Great! I'll ignore these files then.

[andrewjstone]

This file doesn't exist anymore