// This file is part of the SV-Benchmarks collection of verification tasks:
// https://github.com/sosy-lab/sv-benchmarks
//
// SPDX-FileCopyrightText: 2018 The Nidhugg project
// SPDX-FileCopyrightText: 2017 Texas A&M University
//
// SPDX-License-Identifier: MIT AND GPL-3.0-or-later

/*
 * This benchmark is part of SWSC
 * Get inspiration from the Ariline example in Tables 1 and 2 in the PLDI 2015
 * paper: https://dl.acm.org/doi/pdf/10.1145/2737924.2737975
 */

#define N 5
#include "airline.h"