test_ada.c 495 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#include <stdio.h>
#include <stdlib.h>
#include "dataview-uniq.h"

extern void adainit();
extern void controlflow_run();

void controlflow_RI_assert(asn1SccBoolean *res, asn1SccCharString *msg) {
    if (!*res) {
        fprintf(stderr, "%.*s\n", (int)msg->nCount, msg->arr);
        exit(1);
    }
}

void controlflow_RI_fail(asn1SccCharString *msg) {
    fprintf(stderr, "%.*s\n", (int)msg->nCount, msg->arr);
    exit(1);
}

int main() {
    adainit();
    controlflow_run();
    return 0;
}