#!/bin/sh

# SPDX-FileCopyrightText: Chris Pressey, the creator of this work, has dedicated it to the public domain.
# For more information, please refer to <https://unlicense.org/>
# SPDX-License-Identifier: Unlicense

TEST_DOCS="tests/Burro-Tests.md tests/Kondey-Tests.md tests/Turmac-Tests.md"

for i in "$@"; do
    case $i in
        --disable-claude-proof)
        TEST_DOCS="tests/Burro-Tests.md tests/Kondey-Tests.md"
    esac
done

falderal -b ${TEST_DOCS}