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