Nicola Dardanis

Bootstrap automatic test case reduction.

1

Partially fix: https://github.com/sqlancer/sqlancer/issues/333 Using the reference implementation given [here](https://github.com/sqlancer/sqlancer/commit/66f57c69b40656ba36e96285ac57217b2606cfa3) I have created a generified first version for integrated test case reduction, as discussed offline with @mrigger. It is using the...

Unsoundness issue with smt.string_solver=z3str3

11

Hi, for the following formula z3 incorrectly reports `sat` instead of `unsat`. ``` $ cat test.smt2 (declare-fun s () String) (declare-fun r () String) (assert (and (= "\u{2f}" (str.substr s...

### Is your feature request related to a problem? Please describe. The current specification version, 3.1, supports the `mutualTLS` see: * https://spec.openapis.org/oas/v3.1.0#security-scheme-object * https://learn.openapis.org/specification/security.html#mutual-tls However the generator is not supporting...