Added a second scenario to campaign02; updated detect_complete_hrk to detect segmenta...
authorGeorge Milescu <george.milescu@gmail.com>
Mon, 2 Aug 2010 12:54:22 +0000 (14:54 +0200)
committerGeorge Milescu <george.milescu@gmail.com>
Mon, 2 Aug 2010 12:54:22 +0000 (14:54 +0200)
commit8b7d850c7c966e8486b9c33539c4b1dd284dd087
tree4aafe79c508c9e1f54843a0e60a73fa086a30eba
parent2336dcbbbd6220f01d840c7eb7eaa699f2a0f8d9
Added a second scenario to campaign02; updated detect_complete_hrk to detect segmentation faults.

Signed-off-by: George Milescu <george.milescu@gmail.com>
ConfigFiles/campaign02.html
ConfigFiles/campaign02.txt
ConfigFiles/scenario02ct.r [new file with mode: 0644]
ConfigFiles/scenario02ct.txt [new file with mode: 0644]
ControlScripts/detect_complete_hrk.sh
ControlScripts/run_scenario.sh