Hi,
As a result of yesterday's pull request merge, the following files were
being modified in every build:
modified:
cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/FlatElevator.smv
modified:
cruise.umple/test/cruise/umple/implementation/nusmvoptimizer/FlatSpecificFlight.smv
I just merged a pull request that deletes these and also insures they are
cleaned up after every build.
However, you may find that your git update fails due to a conflict. You
will likely need to do a 'git checkout' for the files before a merge will
work.
Tim
Timothy C. Lethbridge, PhD, P.Eng., I.S.P., CSDP
Professor of Software Engineering and Computer Science
/ Professeur Titulaire de génie logiciel et d'informatique
Faculté de genie / Faculty of Engineering
University of Ottawa / Université d'Ottawa
Tel:
613-562-5800x6685 Fax:
613-562-5664 Mobile:
613-252-1850
http://www.eecs.uottawa.ca/~tcl