GCC Code Coverage Report
Directory: . Exec Total Coverage
File: src/options/option_exception.cpp Lines: 2 2 100.0 %
Date: 2021-08-17 Branches: 3 6 50.0 %

Line Exec Source 
1
 

    
/******************************************************************************

    


    

    
2

    

    
 * Top contributors (to current version):

    


    

    
3

    

    
 *   Andres Noetzli

    


    

    
4

    

    
 *

    


    

    
5

    

    
 * This file is part of the cvc5 project.

    


    

    
6

    

    
 *

    


    

    
7

    

    
 * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS

    


    

    
8

    

    
 * in the top-level source directory and their institutional affiliations.

    


    

    
9

    

    
 * All rights reserved.  See the file COPYING in the top-level source

    


    

    
10

    

    
 * directory for licensing information.

    


    

    
11

    

    
 * ****************************************************************************

    


    

    
12

    

    
 *

    


    

    
13

    

    
 * Options-related exceptions.

    


    

    
14

    

    
 */

    


    

    
15

    

    

    


    

    
16

    

    
#include "options/option_exception.h"

    


    

    
17

    

    

    


    

    
18

    

    
namespace cvc5 {

    


    

    
19

    
9779

    
const std::string OptionException::s_errPrefix = "Error in option parsing: ";

    


    

    
20

    
29337

    
}  // namespace cvc5

    


  

  


  

    

    
Generated by: GCOVR (Version 3.2)