#!/usr/bin/env bash
# Run the LintQ Soufflé analyses.
# Expects EDB fact files under ../facts (Op.facts, ActsOn.facts, Succ.facts)
# and writes Warn*.csv outputs into ../out.
set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
cd "$SCRIPT_DIR"

mkdir -p out
souffle -F ../facts -D out lintq.dl