LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/tools - pbesconstelm.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 6 0.0 %
Date: 2020-02-19 00:44:21 Functions: 0 1 0.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Wieger Wesselink
       2             : // Copyright: see the accompanying file COPYING or copy at
       3             : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0.
       6             : // (See accompanying file LICENSE_1_0.txt or copy at
       7             : // http://www.boost.org/LICENSE_1_0.txt)
       8             : //
       9             : /// \file mcrl2/pbes/tools/pbesconstelm.h
      10             : /// \brief add your file description here.
      11             : 
      12             : #ifndef MCRL2_PBES_TOOLS_PBESCONSTELM_H
      13             : #define MCRL2_PBES_TOOLS_PBESCONSTELM_H
      14             : 
      15             : #include "mcrl2/pbes/constelm.h"
      16             : #include "mcrl2/pbes/io.h"
      17             : 
      18             : namespace mcrl2 {
      19             : 
      20             : namespace pbes_system {
      21             : 
      22           0 : void pbesconstelm(const std::string& input_filename,
      23             :                   const std::string& output_filename,
      24             :                   const utilities::file_format& input_format,
      25             :                   const utilities::file_format& output_format,
      26             :                   data::rewrite_strategy rewrite_strategy,
      27             :                   pbes_rewriter_type rewriter_type,
      28             :                   bool compute_conditions,
      29             :                   bool remove_redundant_equations
      30             :                  )
      31             : {
      32             :   // load the pbes
      33           0 :   pbes p;
      34           0 :   load_pbes(p, input_filename, input_format);
      35             : 
      36           0 :   constelm(p, rewrite_strategy, rewriter_type, compute_conditions, remove_redundant_equations);
      37             : 
      38             :   // save the result
      39           0 :   save_pbes(p, output_filename, output_format);
      40           0 : }
      41             : 
      42             : } // namespace pbes_system
      43             : 
      44             : } // namespace mcrl2
      45             : 
      46             : #endif // MCRL2_PBES_TOOLS_PBESCONSTELM_H

Generated by: LCOV version 1.13