RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard
verified publisher icon AdaCore

Check stack-boundedness of generated code

Open senier opened this issue 4 years ago • 0 comments

Run gnatstack on a variety of generated code.

Idea:

  • Run gnatstack on every Run procedure in feature tests
  • Run gnatstack on dhcp_client app

senier avatar Sep 28 '21 10:09 senier