This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import argparse | |
import os | |
import shutil | |
import sys | |
PROP_DIR = 'properties' | |
PREFIX = 'reach_error_linux_' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# MemSafety-Arrays.set | |
array-memsafety/add_last-alloca-1.yml | |
array-memsafety/add_last_unsafe.yml | |
array-memsafety/array01-alloca-2.yml | |
array-memsafety/array02-alloca-2.yml | |
array-memsafety/array03-alloca-2.yml | |
array-memsafety/bubblesort-alloca-2.yml | |
array-memsafety/count_down-alloca-1.yml | |
array-memsafety/count_down_unsafe.yml | |
array-memsafety/cstrcat-alloca-2.yml |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Requires `yq`. | |
# Execute from directory `sv-benchmarks/c`. | |
echo > candidates.txt | |
for i in $(grep -l "coverage-" **/*.yml); do | |
inp=$(yq --raw-output '.input_files' $i) | |
if egrep -q "=.*__VERIFIER_nondet_pointer" $(dirname $i)/$inp; then | |
echo "$i" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
## Usage: Run from directory `sv-benchmarks/c`. | |
## The script will scan all subdirectories for yml-Files and rename them if they contain any | |
## property or are duplicates. | |
import glob | |
import os | |
NAME_TO_PROP_AND_SUBPROP = { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
## Usage: Run from directory `sv-benchmarks/c`. | |
echo "Tasks that have a coverage-error-call property, but that are not in selection (may be empty if everything is ok):" | |
find . -iname '*.yml' | xargs grep -l coverage-error-call.prp | cut -d"/" -f 2- | grep -xvf candidates_error-coverage.txt | |
echo "Tasks that have a coverage-branches property, but that are not in selection (may be empty if everything is ok):" | |
find . -iname '*.yml' | xargs grep -l coverage-branches.prp | cut -d"/" -f 2- | grep -xvf candidates_coverage.txt | |
echo "Tasks that are in selection, but do not have a coverage-error-call property (may be empty if everything is ok):" | |
find . -iname '*.yml' | xargs grep -L coverage-error-call.prp | grep -f candidates_error-coverage.txt |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import glob | |
import os | |
import re | |
CHANGE_FILE_NAME = True | |
"""Whether to shorten file names by removing the verdicts, if possible without collisions.""" | |
INCLUDE_PROPERTY_AS_REQUIRED_FILE = False | |
"""Whether to include property files as required files in task definition.""" |