// This file is part of CPAchecker,
// a tool for configurable software verification:
// https://cpachecker.sosy-lab.org
//
// SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
//
// SPDX-License-Identifier: Apache-2.0

public class BooleanOperators_true_assert {

  public static void main(String[] args) {
    boolean a = true;

    a = !a;
    assert a == false;

    a |= true;
    a = a & true;
    a = a ^ false;
    assert a == true;
  }
}
