Exemplos de pass_through_union em C++ (Cpp)

Exemplo n.º 1

Arquivo: main.c Projeto: AnnaTrost/cbmc

int main (void)
{
  int32_t q;

  union u un = pass_through_union(q);

  assert(q == un.y);

  return 1;
}

Exemplo n.º 2

Arquivo: main.c Projeto: sarnold/cbmc

int main (void)
{
    int32_t q;

    __CPROVER_assume(q > 0);

    union u un = pass_through_union(q);

    assert(q == un.x);

    return 1;
}