We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
package Test is type T1 is mod 2**7; type T2 is mod 2**18; type M1 is message F1 : T1; F2 : T1; F3 : T2; end message; end Test;
Serializing a parsed message should yield the original message:
data = b"abcd" msg = PyRFLX.from_specs (["test.rflx"], skip_model_verification=True)["Test"]["M1"] msg.parse (data) if data != msg.bytestring: print(f"Serialization mismatch:\ngot: {msg.bytestring.hex()}\nexpected: {data.hex()}")
This fails:
Serialization mismatch: got: 616131b2 expected: 61626364
The text was updated successfully, but these errors were encountered:
Remove unnecessary special handling of large fields
82b754c
Ref. #531
FIXME: use fixed version of RecordFlux
982a86d
Ref. AdaCore/RecordFlux#531
51641e7
7625857
92bbeda
84f7b83
senier
Successfully merging a pull request may close this issue.
Serializing a parsed message should yield the original message:
This fails:
The text was updated successfully, but these errors were encountered: