<commit_before>#!/usr/bin/env bash

export MODULE=paxoid
export SUBLIST=0
export PRELOAD_SCHEDULES=false
export RECURSIVE=true
export EXIT_ON_COUNTEREXAMPLE=true
export PRUNING=false
export SYSTEM_MODEL=prop_partisan_paxoid

echo "Performing static analaysis..."
IMPLEMENTATION_MODULE=${MODULE} bin/partisan-analysis.escript _checkouts/paxoid/src/paxoid.erl

echo "Running example suite to identify minimal successful example..."
rm -rf priv/lager; pkill -9 beam.smp; DISABLE_RANDOM=true RESTART_NODES=false IMPLEMENTATION_MODULE=${MODULE} NUM_TESTS=3 SCHEDULER=single_success bin/counterexample-find.sh

echo "Attemping single run execution..."
pkill -9 beam.smp; TRACE_FILE=/tmp/partisan-latest.trace REPLAY_TRACE_FILE=/tmp/partisan-replay.trace PRELOAD_OMISSIONS_FILE=/tmp/partisan-preload.trace SHRINKING=true REPLAY=true SYSTEM_MODEL=${SYSTEM_MODEL} IMPLEMENTATION_MODULE=${MODULE} RESTART_NODES=false ./rebar3 ct --readable=false -v --suite=filibuster_SUITE

# echo "Attempting single replay."
# IMPLEMENTATION_MODULE=${MODULE} bin/counterexample-replay.sh

# echo "Beginning reduction to find support for successful example..."
# PRUNING=${PRUNING} PRELOAD_SCHEDULES=${PRELOAD_SCHEDULES} RECURSIVE=${RECURSIVE} SUBLIST=${SUBLIST} EXIT_ON_COUNTEREXAMPLE=${EXIT_ON_COUNTEREXAMPLE} IMPLEMENTATION_MODULE=${MODULE} bin/counterexample-model-checker.sh<commit_msg>Ensure random usage is disabled.<commit_after>#!/usr/bin/env bash

export MODULE=paxoid
export SUBLIST=0
export PRELOAD_SCHEDULES=false
export RECURSIVE=true
export EXIT_ON_COUNTEREXAMPLE=true
export PRUNING=false
export SYSTEM_MODEL=prop_partisan_paxoid

echo "Performing static analaysis..."
IMPLEMENTATION_MODULE=${MODULE} bin/partisan-analysis.escript _checkouts/paxoid/src/paxoid.erl

echo "Running example suite to identify minimal successful example..."
rm -rf priv/lager; pkill -9 beam.smp; DISABLE_RANDOM=true RESTART_NODES=false IMPLEMENTATION_MODULE=${MODULE} NUM_TESTS=3 SCHEDULER=single_success bin/counterexample-find.sh

echo "Attemping single run execution..."
pkill -9 beam.smp; DISABLE_RANDOM=true TRACE_FILE=/tmp/partisan-latest.trace REPLAY_TRACE_FILE=/tmp/partisan-replay.trace PRELOAD_OMISSIONS_FILE=/tmp/partisan-preload.trace SHRINKING=true REPLAY=true SYSTEM_MODEL=${SYSTEM_MODEL} IMPLEMENTATION_MODULE=${MODULE} RESTART_NODES=false ./rebar3 ct --readable=false -v --suite=filibuster_SUITE

# echo "Attempting single replay."
# IMPLEMENTATION_MODULE=${MODULE} bin/counterexample-replay.sh

# echo "Beginning reduction to find support for successful example..."
# PRUNING=${PRUNING} PRELOAD_SCHEDULES=${PRELOAD_SCHEDULES} RECURSIVE=${RECURSIVE} SUBLIST=${SUBLIST} EXIT_ON_COUNTEREXAMPLE=${EXIT_ON_COUNTEREXAMPLE} IMPLEMENTATION_MODULE=${MODULE} bin/counterexample-model-checker.sh
{'fraction_non_alphanumeric': 0.10400866738894908, 'fraction_numerical': 0.0036114120621162874, 'mean_word_length': 7.7936507936507935, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '3783454', 'n_tokens_mistral': 959, 'n_tokens_neox': 958, 'n_words': 178}