/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package CSP_ANALYSE;

/**
 *
 * @author sarah
 */
public class CheckerResult extends ResultVerification {
    
    
}