Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
1 result

div.h

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    div.h 74 B 
    #include "limits.h"

/*@ ensures \result == a/b;
*/
int div(int a, int b);