-
Notifications
You must be signed in to change notification settings - Fork 5
/
minDisjNoCov_port_sats.c
40 lines (33 loc) · 1.02 KB
/
minDisjNoCov_port_sats.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/*
**
** The C code is generated by ATS/Anairiats
** The compilation time is: 2013-12-29: 10h:46m
**
*/
/* include some .h files */
#ifndef _ATS_HEADER_NONE
#include "ats_config.h"
#include "ats_basics.h"
#include "ats_types.h"
#include "ats_exception.h"
#include "ats_memory.h"
#endif /* _ATS_HEADER_NONE */
/* prologues from statically loaded files */
/* external codes at top */
/* type definitions */
/* external typedefs */
/* assuming abstract types */
/* sum constructor declarations */
/* exn constructor declarations */
/* static load function */
ats_void_type
_2home_2brand_000_2FBA_2FALCON_2minDisjNoCov_port_2esats__staload () {
static int _2home_2brand_000_2FBA_2FALCON_2minDisjNoCov_port_2esats__staload_flag = 0 ;
if (_2home_2brand_000_2FBA_2FALCON_2minDisjNoCov_port_2esats__staload_flag) return ;
_2home_2brand_000_2FBA_2FALCON_2minDisjNoCov_port_2esats__staload_flag = 1 ;
return ;
} /* staload function */
/* external codes at mid */
/* external codes at bot */
/* ****** ****** */
/* end of [minDisjNoCov_port_sats.c] */