Improvements to testsuite to allow more complex tests

Authored by dterei on Jul 6 2011, 9:15 PM.

Description

Improvements to testsuite to allow more complex tests

Details

Committed
dtereiJul 6 2011, 11:13 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF3a17ededcb87: Add test for #5129
Branches
Unknown
Tags
Unknown