You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
23 lines
933 B
23 lines
933 B
#!/bin/bash
|
|
# Activation script for CBMC SpecGen virtual environment
|
|
|
|
# Check if virtual environment exists
|
|
if [ ! -d "venv" ]; then
|
|
echo "Error: Virtual environment not found. Please run the setup first."
|
|
echo "Run: python3 -m venv venv && source venv/bin/activate && pip install requests"
|
|
exit 1
|
|
fi
|
|
|
|
echo "Activating CBMC SpecGen virtual environment..."
|
|
echo "Use the following command to activate the environment:"
|
|
echo "source venv/bin/activate"
|
|
echo ""
|
|
echo "After activation, you can test with:"
|
|
echo " python test_generation_step.py --input testfiles/simple_test.c --verbose"
|
|
echo " python test_generation_step.py --input testfiles/array_sum.c --output output.c"
|
|
echo ""
|
|
echo "Environment info:"
|
|
echo " Python: $(python --version)"
|
|
echo " Requests: $(which python > /dev/null && python -c 'import requests; print(requests.__version__)' 2>/dev/null || echo 'Not installed')"
|
|
echo " CBMC: $(which cbmc)"
|
|
echo "" |