# Simple Makefile for Steel Decimal
# Production test settings
export PROPTEST_CASES=
export RUST_BACKTRACE=
:
# Run all tests with production settings
:
# Quick development test
:
# Check compilation
:
# Clean build artifacts
:
# Run with specific test threads for concurrency tests
: