Commit e2cd72f2 authored by Jaime Arias's avatar Jaime Arias
Browse files

remove old scripts

parent 64bb2468
......@@ -35,9 +35,11 @@ git clone https://depot.lipn.univ-paris13.fr/PMC-SOG/experiments/hybrid.git && c
│   └── pnml2lts-mc.zip # results (logs) related to the ltsmin model-checker
├── run-experiment.py # script that run a experiment on the local machine
├── scripts
│   ├── formula-generator.sh # script that generates N random LTL\X formulas
│   ├── generate-csv.py # script that generates a csv file with the results from the logs
│   ├── csv_generator.py # script that generates a csv file with the results from the logs
│   ├── formula_generator.py # script that generates N random LTL\X formulas
│   └── plot-results.ipynb # Python notebook that allows to generate the figures and interact with the results
│   └── plot-results.py # script that generates the figures (if you do not want to open the notebook)
│   └── sbatch_formula_generator.py # script that generates the sbatch files to generate formulas on Magi cluster
│   └── sbatch_generator.py # script that generates the sbatch files to run the experiments on Magi cluster
└── tools
├── pmc-sog # binary of our model-checker
......
#!/bin/bash
for f in `find . -type f -name "*.out"`; do
sed -i 's/TIME OF CONSTRUCTION OF THE SOG/Verification duration :/' $f;
done
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment