test/gourdinl/clause2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#include "clause.h"
int a, b;
void c();
void h() {
  int f = clause_LastLitIndex(d);
  a = clause_LastLitIndex(0);
  if (f)
    if (a)
      1;
}
void i() {
  CLAUSE e = 0;
  int *g[] = {h, c};
  for (; b;)
    l(e);
}
void m() {
  int k, j;
  for (; k <= 0;)
    ;
  clause_SetNumOfConsLits(0, j);
  n(0 - j);
}