Skip to content
Snippets Groups Projects
div.h 74 B
Newer Older
  • Learn to ignore specific revisions
  • #include "limits.h"
    
    /*@ ensures \result == a/b;
    */
    int div(int a, int b);