Skip to content

Suggested edits to x.py #73

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
alexanderjsummers wants to merge 3 commits into
base: rewrite-2023
Choose a base branch
from
Open

Suggested edits to x.py #73

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
cb30b4e
add version check for 3.8 or above
alexanderjsummers Jun 13, 2025
a57d191
added comment as runtime check won't necessarily be reached
alexanderjsummers Jun 13, 2025
74ceba0
commented unused imports
alexanderjsummers Jun 13, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 15 additions & 8 deletions x.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,32 +3,39 @@
"""A wrapper for cargo that sets up the Prusti environment."""

import sys
# NOTE: requires a minimum of Python 3.8 to run

if sys.version_info[0] < 3:
print('You need to run this script with Python 3.')
sys.exit(1)

if sys.version_info[1] < 8: # needed to support trailing = in f-strings
print('You need to run this script with Python 3.8 or above.')
sys.exit(1)

import os
import platform
import subprocess
import glob
import csv
#import csv
import logging
from pathlib import Path
import time
import json
import signal
#import time
#import json
#import signal
import shutil
import traceback
import datetime
#import traceback
#import datetime

sys.path.append(os.path.join(os.path.dirname(__file__), 'scripts'))
import reporting
from reporting import (
report, error
#report,
error
)
import benchmark
from helper_functions import (
get_env, run_command, extract_test_compile_flags
get_env, run_command#, extract_test_compile_flags
)
import verify_test

Expand Down