source: src/ResolvExpr/ResolveAssertions.cc @ 8573729

resolv-new
Last change on this file since 8573729 was 8573729, checked in by Aaron Moss <a3moss@…>, 7 years ago

Start new assertion resolution branch

  • assertion resolution visitor is stubbed in
  • ignores equally-minimal deleted expressions
  • Property mode set to 100644
File size: 712 bytes
RevLine 
[8573729]1//
2// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// ResolveAssertions.cc --
8//
9// Author           : Aaron B. Moss
10// Created On       : Mon Mar 12 17:05:00 2018
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Mon Mar 12 17:05:00 2018
13// Update Count     : 1
14//
15
16#include "ResolveAssertions.h"
17
18#include "SynTree/SynTree.h"
19
20namespace ResolvExpr {
21        bool resolveAssertions( const Expression* expr ) {
22                // TODO FIXME
23                return expr != nullptr;
24        }
25}
26
27// Local Variables: //
28// tab-width: 4 //
29// mode: c++ //
30// compile-command: "make install" //
31// End: //
Note: See TracBrowser for help on using the repository browser.