← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypnTestFramework

~tapaal-dist-ctl/verifypn/verifypnTestFramework

Viewing all changes in revision 283.

Committer: tobiasj1991 at gmail
Date: 2016-04-14 16:56:13 UTC
Revision ID: tobiasj1991@gmail.com-20160414165613-0ys2jbl8ew2j3vxf

Python consistency check and added build map structure

files added:
build

build/analysis

build/compilation

build/compilation/compile.sh

build/models

build/super_computer_build.py

build/testing

build/testing/.~lock.consistency_data.csv#

build/testing/CacheInSucc-Experiment-modelDBconf-2016-04-14T12:38-czero-Munlimited-T60

build/testing/consistency_check.py

build/testing/consistency_check.sh

build/testing/consistency_data.csv

build/testing/result_keys.py

verifypnTestFramework.config

verifypnTestFramework.creator

verifypnTestFramework.files

verifypnTestFramework.includes

Show diffs side-by-side

added added

removed removed

build/analysis/

build/compilation/

build/compilation/compile.sh

build/super_computer_build.py

build/testing/.~lock.consistency_data.csv#

build/testing/CacheInSucc-Experiment-modelDBconf-2016-04-14T12:38-czero-Munlimited-T60/

build/testing/consistency_check.py

build/testing/consistency_check.sh

build/testing/consistency_data.csv

build/testing/result_keys.py

verifypnTestFramework.config

verifypnTestFramework.creator

verifypnTestFramework.files

verifypnTestFramework.includes

Older »