lp:~tapaal-dist-ctl/verifypn/verifypnTestFramework

Created by Tobias Skovgaard Jepsen on 2016-03-09 and last modified on 2016-05-04
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/verifypnTestFramework
Members of Distributed Czero Team can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Development

Recent revisions

290. By Tobias Jepsen <email address hidden> on 2016-05-04

Fixed cancel-SLURM-jobs

289. By Tobias Jepsen <email address hidden> on 2016-04-28

Fixed, hopefully

288. By Tobias Jepsen <email address hidden> on 2016-04-28

Cleaning up

287. By Søren Moss Nielsen on 2016-04-28

merge

286. By Søren Moss Nielsen on 2016-04-28

slurm files

285. By Tobias Jepsen <email address hidden> on 2016-04-15

Script for HouseConstruction-PT-002-CTLCardinality-6 inconsistency bug

284. By Tobias Jepsen <email address hidden> on 2016-04-14

Merge

283. By Tobias Jepsen <email address hidden> on 2016-04-14

Python consistency check and added build map structure

282. By Tobias Jepsen <email address hidden> on 2016-04-13

Fixed wrong folder move

281. By Tobias Jepsen <email address hidden> on 2016-04-13

Fixed wrong folder move

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.