Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.
http://copilot-language.github.io
635 stars 50 forks source link

`copilot-c99`: Print constants in tests using portable suffixes. Refs #471. #479

Closed ivanperez-keera closed 9 months ago

ivanperez-keera commented 9 months ago

This commit adjusts the tests for the copilot-c99 library to use a portable way of printing constants in the C code generated by the tests, as prescribed in the solution proposed for #471.

ivanperez-keera commented 9 months ago

@swt2c The tests seem to pass: https://app.travis-ci.com/github/Copilot-Language/copilot/jobs/615203542#L1691-L1769

Can you please try this solution and let me know if it works?

swt2c commented 9 months ago

I can confirm that fef0297 does indeed fix the test compile warnings related to integer literals, thanks!

ivanperez-keera commented 9 months ago

Wonderful! Thank you, @swt2c!

ivanperez-keera commented 9 months ago

Change Manager: Changes requested:

ivanperez-keera commented 9 months ago

Implementor: Changes implemented. Review requested.

ivanperez-keera commented 9 months ago

Change Manager: Verified that: