lp:~verifypn-stub/verifypn/ctl-flow

Created by Jakob Dyhr on 2017-05-15 and last modified on 2017-05-16
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/ctl-flow
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-stub
Project:
verifypn
Status:
Merged

Recent revisions

182. By Jakob Dyhr on 2017-05-16

always print ctl options

181. By Jakob Dyhr on 2017-05-16

Throw error if CTL engine is called with non-DFS strategy

180. By Jakob Dyhr on 2017-05-15

Removed the forced call to ctl engine from main when -ctl is used

179. By Jiri Srba on 2017-05-13

added 2 seconds to each timeout to avoid calling our eengine with timeout 0

178. By Jiri Srba on 2017-05-08

one more fix for sequential processing

177. By Jiri Srba on 2017-05-08

updated the timeouts and trapping signals

176. By Jiri Srba <email address hidden> on 2017-05-08

updated competition scripts to kill all processes when received termination signal

175. By Jiri Srba <email address hidden> on 2017-05-05

updated the script for competition to run 100+100+200

173. By Jiri Srba on 2017-05-04

merged in branch lp:~verifypn-stub/verifypn/qr-metrics

Branch metadata

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

Subscribers