begriffs open source - acsl-example/blob - inc/proof/find1_axioms.h

   1 #ifndef FIND1_AXIOMS_H
   2 #define FIND1_AXIOMS_H
   3
   4 #include "types.h"
   5
   6 // Minimal axioms for find1.c - basic behavioral contracts only
   7
   8 #endif