gcc/testsuite/g++.dg/contracts/contracts-post3.C

// { dg-do run }
// { dg-options "-std=c++2a -fcontracts" }
// { dg-shouldfail "assert violation" }
// { dg-output "default std::handle_contract_violation called" }

int f1(int n)
  [[post r: r > n]]
{
  return n;
}

int main()
{
  f1(0);
}