Project

General

Profile

« Previous | Next » 

Revision c02d255e

Added by Pierre-Loïc Garoche almost 9 years ago

Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process

View differences:

test/Makefile
6 6 

  		




  7
  7
  
    
clean:


  		




  8
  8
  
    
	@rm -rf build


  		




  
  9
  
    
	@for i in `find . -iname *.lusi`; do grep generated $$i > /dev/null; if [ $$? -eq 0 ]; then rm $$i; fi; done


  		




  9
  10
  
    

  		




  10
  11
  
    
distclean: clean


  		




  11
  12
  
    
	@rm -rf report*


  		












Also available in:  Unified diff