<commit_before>#!/bin/bash
#
# DSVerifier - Benchmark Runner
#
#               Universidade Federal do Amazonas - UFAM
# Author:       <NAME> <<EMAIL>>
#               <NAME> <<EMAIL>>
#
# ------------------------------------------------------
#
# Script to run many benchmarks in DSVerifier
# 
# Usage Example:
# $ sh script benchmark_file.c
#
# ------------------------------------------------------

if test $# -ne 1; then
   echo "usage: $0 file_benchmark.c" >&2
   exit 1
fi

PROPERTIES=( LIMIT_CYCLE )
REALIZATIONS=( DFI DFII TDFII )
TIMEOUT="24h"
X_SIZE=50

## default parameters
# PROPERTIES=( OVERFLOW ZERO_INPUT_LIMIT_CYCLE TIMING STABILITY MINIMUM_PHASE );
# REALIZATIONS=( DFI DFII TDFII DDFI DDFII TDDFII );

BENCHMARKS_LIBRARY="$1";
BENCHMARKS=$(cat $BENCHMARKS_LIBRARY | grep 'DS_ID\|IMPLEMENTATION_COUNT')
TOTAL_DS=$(echo "$BENCHMARKS" | grep 'DS_ID' | wc -l)
OUTPUT_LOGS_DIRECTORY="./logs"
BMC_EXECUTABLE="esbmc"
BMC_PARAMETERS="--boolector --no-pointer-check --memlimit 15g"

# header 
INITIAL_TIMESTAMP=$(date +%s)
CPU_CORE_NUMBER=$(cat /proc/cpuinfo | grep processor | wc -l)
CPU_INFO="CPU:$(cat /proc/cpuinfo | grep "model name" | tail -n1 | cut -d ":" -f2)"
MEM_INFO="RAM: $(cat /proc/meminfo | grep "MemTotal" | cut -d ":" -f2 | cut -d " " -f8) kB"
echo "*** DSVerifier Benchmark Runner v0.1 ***"
echo ""<commit_msg>required parameters for DFII and TDFII verifications<commit_after>#!/bin/bash
#
# DSVerifier - Benchmark Runner
#
#               Universidade Federal do Amazonas - UFAM
# Author:       <NAME> <<EMAIL>>
#               <NAME> <<EMAIL>>
#
# ------------------------------------------------------
#
# Script to run many benchmarks in DSVerifier
# 
# Usage Example:
# $ sh script benchmark_file.c
#
# ------------------------------------------------------

if test $# -ne 1; then
   echo "usage: $0 file_benchmark.c" >&2
   exit 1
fi

PROPERTIES=( OVERFLOW ZERO_INPUT_LIMIT_CYCLE )
REALIZATIONS=( DFI DFII TDFII )
TIMEOUT="24h"
X_SIZE=20

## default parameters
# PROPERTIES=( OVERFLOW ZERO_INPUT_LIMIT_CYCLE TIMING STABILITY MINIMUM_PHASE );
# REALIZATIONS=( DFI DFII TDFII DDFI DDFII TDDFII );

BENCHMARKS_LIBRARY="$1";
BENCHMARKS=$(cat $BENCHMARKS_LIBRARY | grep 'DS_ID\|IMPLEMENTATION_COUNT')
TOTAL_DS=$(echo "$BENCHMARKS" | grep 'DS_ID' | wc -l)
OUTPUT_LOGS_DIRECTORY="./logs"
BMC_EXECUTABLE="esbmc"
BMC_PARAMETERS="--boolector --no-bounds-check --no-pointer-check --no-div-by-zero-check --memlimit 15g"

# header 
INITIAL_TIMESTAMP=$(date +%s)
CPU_CORE_NUMBER=$(cat /proc/cpuinfo | grep processor | wc -l)
CPU_INFO="CPU:$(cat /proc/cpuinfo | grep "model name" | tail -n1 | cut -d ":" -f2)"
MEM_INFO="RAM: $(cat /proc/meminfo | grep "MemTotal" | cut -d ":" -f2 | cut -d " " -f8) kB"
echo "*** DSVerifier Benchmark Runner v0.1 ***"
echo ""
{'fraction_non_alphanumeric': 0.2174226061915047, 'fraction_numerical': 0.012239020878329733, 'mean_word_length': 2.8490304709141276, 'pattern_counts': {'":': 4, '<': 15, '<?xml version=': 0, '>': 17, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2127439', 'n_tokens_mistral': 1067, 'n_tokens_neox': 1018, 'n_words': 241}