Abhishek C Sharma

I can attempt this. Is this within the ockam_vault crate ? I can try to look through the code and understand, but may need pointers on where to start.

Whoops ! Sorry about that. Seems like some of the earlier test cases weren't updated after a minor syntax change. All the test cases under sequences should now either be...

Do you mean a file under `src/test/scala/org/tygus/suslik/synthesis` that runs those cases ? I always ended up testing it manually.. Although @aidandenlinger did generate the benchmark data for these sequence cases....

Sorry for the delayed response. I have added a `--sequenceRules` flag to enable the various changes made to the rules along with a test suite file that runs the sequence...

@yoshuawuyts Correct me if I'm wrong but one of the changes suggested by @NyxCode above would need to be implemented to apply either of the solutions suggested in https://github.com/http-rs/async-h1/issues/74