C++ (Cpp) BCSP_IoIncrementの例

コード例 #1

ファイル: qw2004_variant_true-unreach-call.c プロジェクト: Heizmann/sv-benchmarks

void* BCSP_PnpAdd(void* arg) {
    int status;
    status = BCSP_IoIncrement();
    if (status == 0) {
	__VERIFIER_assert(!stopped);
	BCSP_IoDecrement();
    }
}

コード例 #2

ファイル: bluetooth_driver.c プロジェクト: esbmc/esbmc

void BCSP_PnpAdd(DEVICE_EXTENSION *e)
{
  int status;

  status = BCSP_IoIncrement(e);
  if (status == 0)
  {
    //do work here
    assert(!stopped);
  }
  BCSP_IoDecrement(e);
}