verigraph/src/main/java/it/polito/escape/verify/test/TestExecutionException.java

   1 /*******************************************************************************
   2  * Copyright (c) 2017 Politecnico di Torino and others.
   3  *
   4  * All rights reserved. This program and the accompanying materials
   5  * are made available under the terms of the Apache License, Version 2.0
   6  * which accompanies this distribution, and is available at
   7  * http://www.apache.org/licenses/LICENSE-2.0
   8  *******************************************************************************/
   9
  10 package it.polito.escape.verify.test;
  11
  12
  13 public class TestExecutionException extends Exception{
  14
  15         /**
  16          *
  17          */
  18         private static final long serialVersionUID = 4749065055436886197L;
  19
  20         public TestExecutionException(String message){
  21                 super(message);
  22         }
  23
  24 }