search

ligurio / elle-cli

The command-line frontend to transactional consistency checkers for black-box databases
Other
27 stars 5 forks source link

suggestion: a gen command #70

Closed photoszzt closed 11 months ago

photoszzt commented 11 months ago

Is it possible to create a gen command that generates a set of transaction history in json? The elle doc mentioned about this function but I'm not sure how to use it (I know lisp but I don't know anything about closure). It would be a great option to generate the sequence and feed it into unit test for db development.

ligurio commented 11 months ago

Hi! Perhaps you are talking about elle.list-append/gen. If so, it is a generator for list-append operations, generator is needed in a test, these operations then passed to a database client. elle-cli is a command line checker for histories that are result of testing by Jepsen. So the short anwser is: elle-cli does not need any generators provided by elle.

photoszzt commented 11 months ago

Yes, I am saying maybe this tool can also support the gen command which exposes the gen function’s args as command line arguments. Then its output can be piped to a file then use jet to convert to json or other formats.

Get Outlook for iOShttps://aka.ms/o0ukef

From: Sergey Bronnikov @.> Sent: Tuesday, November 7, 2023 11:31:06 AM To: ligurio/elle-cli @.> Cc: Zhiting Zhu @.>; Author @.> Subject: Re: [ligurio/elle-cli] suggestion: a gen command (Issue #70)

Hi! Perhaps you are talking about elle.list-append/gen. If so, it is a generator for list-append operations, generator is needed in a test, these operations then passed to a database client. elle-cli is a command line checker for histories that are result of testing by Jepsen. So the short anwser is: elle-cli does not need any generators provided by elle.

— Reply to this email directly, view it on GitHubhttps://github.com/ligurio/elle-cli/issues/70#issuecomment-1799297449, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AALIROZFBW6QWGLFJ4HUMKDYDJV5VAVCNFSM6AAAAAA672SIFOVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTOOJZGI4TONBUHE. You are receiving this because you authored the thread.Message ID: @.***>

ligurio commented 11 months ago

And then what do you want to do with these artificial histories?

photoszzt commented 11 months ago

Use the history as a input to feed into the transaction system to validate that isolation is implemented correctly. Isn't that is one of the elle's proposed usage?

ligurio commented 11 months ago

Use the history as a input to feed into the transaction system to validate that isolation is implemented correctly. Isn't that is one of the elle's proposed usage?

This is valid for elle library itself, but it is not a use case for elle-cli, because the main purpose of elle-cli is checking existed histories produced by tests in command-line mode.