#!/bin/bash
set -e

# Flex test script
# Runs the flex test suite

build_dir=$1

echo "Running flex test suite..."

# Change to source directory
cd sources/flex

echo "Executing make check..."
make check

echo "Tests completed successfully."