david-perez

Proposal to change the `@uniqueItems` protocol tests

1

I see `@uniqueItems` protocol tests have been restored: https://github.com/awslabs/smithy/issues/1541. Currently the tests look like: https://github.com/awslabs/smithy/blob/b2b952a4b6d9f77f4c3dc143b9ad5abdd37c2544/smithy-aws-protocol-tests/model/restJson1/validation/malformed-uniqueItems.smithy#L32-L61 Previously, tests reflected input values, which was beneficial for debugging, but I recognize may result...

Body media type in HTTP malformed request tests

1

Both [`httpRequestTests`](https://smithy.io/2.0/additional-specs/http-protocol-compliance-tests.html#httprequesttests) and [`httpResponseTests`](https://smithy.io/2.0/additional-specs/http-protocol-compliance-tests.html#httpresponsetests) have a `bodyMediaType` field. This field allows test generators, among other things, to know how the `body` field is encoded. > Because the body parameter is...

This is a feature request. When you visit a page in the Smithy 1.0 spec, like for example, https://smithy.io/1.0/spec/http-protocol-compliance-tests.html, a banner appears that reads: > You are viewing version 1.0....

IDs: * [RestJsonInvalidGreetingError](https://github.com/awslabs/smithy/blob/a8fd6c537d3d1e0c0258741efceda3ea85a8c75b/smithy-aws-protocol-tests/model/restJson1/errors.smithy#L81-L81) * [RestJsonEmptyComplexErrorWithNoMessage](https://github.com/awslabs/smithy/blob/a8fd6c537d3d1e0c0258741efceda3ea85a8c75b/smithy-aws-protocol-tests/model/restJson1/errors.smithy#L142-L142) * [RestJsonComplexErrorWithNoMessage](https://github.com/awslabs/smithy/blob/a8fd6c537d3d1e0c0258741efceda3ea85a8c75b/smithy-aws-protocol-tests/model/restJson1/errors.smithy#L116-L116) These `httpResponseTests`, when interpreted from a server perspective, are asserting that the `X-Amzn-Errortype` header is set to the error shape ID's name (without...

mbsync was barfing out with a few messages with some labels because of a mismatch between the calculated octets and the actual payload size. Interestingly, offlineimap never complains.

There seems to be some error in the way the (at least the first) IMAP commands are being sent to the server by the proxy. If you analyze the network...

How do we pass in definitions and flags to our projects and the MCU SDK?

3

This is a question. I'm using the project as a submodule (so I don't want to alter any files from it). I'd like to define some symbols (`-DARM_MATH_CM4=1`) and flags...

Configuration is unsuitable for single core machines

1

`judgedaemon.conf` contains: https://github.com/DOMjudge/domjudge-packaging/blob/c566fa91ca5018fccd43f15a1b4b80db9f5125e4/docker-contributor/supervisor/judgedaemon.conf#L3-L3 So [supervisor](http://supervisord.org/configuration.html#program-x-section-values) goes ahead and starts 2 judgehosts, `domjudge-contributor-0` and `domjudge-contributor-1`. This configuration is unsuitable for running domjudge in single core machines. In a single core machine,...