verify-code.sh

#!/bin/bash
set -e

echo "EURxy Stablecoin Verification"
echo "============================="

# Check for Solidity files
SOLIDITY_FILES=$(find ./contracts -name "*.sol" | wc -l)
echo "Found $SOLIDITY_FILES Solidity files"

# Verify basic structure
echo -e "\nVerifying contract structure:"

# Check main contracts
for CONTRACT in StableCoin.sol Vault.sol
do
  if [ -f "./contracts/$CONTRACT" ]; then
    echo "✓ $CONTRACT exists"
  else
    echo "✗ $CONTRACT is missing"
  fi
done

# Check interfaces
for INTERFACE in IVault.sol IPriceOracle.sol
do
  if [ -f "./contracts/interfaces/$INTERFACE" ]; then
    echo "✓ Interface $INTERFACE exists"
  else
    echo "✗ Interface $INTERFACE is missing"
  fi
done

# Check mocks
if [ -f "./contracts/mocks/MockPriceOracle.sol" ]; then
  echo "✓ MockPriceOracle exists"
else
  echo "✗ MockPriceOracle is missing"
fi

# Verify Solidity version
WRONG_VERSION=$(grep -l "pragma solidity \^0.8.20" $(find ./contracts -name "*.sol") 2>/dev/null | wc -l)
if [ "$WRONG_VERSION" -eq "0" ]; then
  echo "✓ All contracts use Solidity version 0.8.17"
else
  echo "✗ Found $WRONG_VERSION contracts with incompatible Solidity version"
fi

# Check for key functionality
echo -e "\nVerifying core functionality:"

# EURxy token
if grep -q "contract EURxy" ./contracts/StableCoin.sol; then
  echo "✓ EURxy token implementation found"
else
  echo "✗ EURxy token implementation missing"
fi

# EUR price feed
if grep -q "eurPriceFeed" ./contracts/StableCoin.sol; then
  echo "✓ EUR price feed integration found"
else
  echo "✗ EUR price feed integration missing"
fi

# Collateral management
if grep -q "CollateralPosition" ./contracts/interfaces/IVault.sol; then
  echo "✓ Collateral position structure found"
else
  echo "✗ Collateral position structure missing"
fi

# Vault functionality
VAULT_FUNCTIONS=("deposit" "withdraw" "borrowEURxy" "repayEURxy" "liquidate")
for FUNC in "${VAULT_FUNCTIONS[@]}"
do
  if grep -q "function $FUNC" ./contracts/interfaces/IVault.sol; then
    echo "✓ Vault function '$FUNC' found"
  else
    echo "✗ Vault function '$FUNC' missing"
  fi
done

# Check Docker setup
echo -e "\nVerifying Docker setup:"
if [ -f "./docker-compose.yml" ]; then
  echo "✓ Docker Compose configuration exists"
else
  echo "✗ Docker Compose configuration missing"
fi

if [ -f "./docker/Dockerfile" ]; then
  echo "✓ Dockerfile exists"
else
  echo "✗ Dockerfile missing"
fi

echo -e "\nVerification complete!"