Alexander Aghili
Alexander Aghili
Implemented ConsumerGroupInstallAssignment API on the Client according to KIP-848. Still need to do server implementation (That will be a separate pull request). Also, need to get the proper apiKey for...
Resolves #3356 1. Changes allow for directory with individual output of files named by the full harness name. --output-into-files command line argument will allow for placing all output of individual...
**Proposed change:** Adding regressions tests to determine if the output is correct for Kani based on the configuration from issue/PR: #3360 #3356 **Motivation:** Ensure correctness.
Requested feature: Harness Output in Individual Files Use case: Easily parse output by having each harness output be an a unique file. Printing is done to the std output but...
Requested feature: Remove terse output requirement for parallel jobs Use case: Full output while still having parallel capability Currently, a terse output is required for running harnesses in parallel. Removing...