'; } ; require_once "caseSource.php"; $c = new Kiss( $_GET[ 'case' ] ); $title = $c->name; $cov = array_key_exists( 'cov' , $_GET ); ?> Jasmine Spec Runner print_js($cov); ?>