'; } ; require_once "case.class.php"; $c = new Kiss( '../../../' , $_GET[ 'case' ] ); $title = $c->name; $cov = array_key_exists( 'cov' , $_GET ); ?> <?php print( "run case $title" );?> print_js( $cov ); ?>

name );?>