Released version failed to pass the building tests

[qixin5]

Hi Coastal authors,

I built v.0.1.0 with './gradlew build' but failed.

I first got java.lang.StringIndexOutOfBoundsException. This is because CompileInfo.GIT_SHA is "UNKNOWN" -- there is no git information if one clicked to download the released package, which is what I did.

I created a workaround for this to make the code compile. Then I got testing errors. I looked into one error raised by "checkDivers(reporter, 1, 5)" from testLineCoverage01 in SystemTestsObservers.java. The expected number of divers is 5, but I got one.

I reproduced the error in a separate run. Attached is the log. It seems DiverFactory was not working properly. Below is some log I have for that class. I found that in the method run, the input object I got is not null, but is empty. Its toString method returns "<{}-{}-{}>".

---

starting diver task, diverTaskId=0
---- (0) starting dive 1 @30 ms ------------------------------------
INPUT: <{}-{}-{}>
**** <{}-{}-{}> ****************************************************
start run, diverTaskCount=1, symbolicState=za.ac.sun.cs.coastal.diver.SymbolicState@75456256
3
end of run, diverTaskCount=1, symbolicState #75456256
162 ms dives:1 surfs:0 [dm:0 sm:1 pc:0 tr:0]
stopping diver task, diverTaskId=0

---

Thanks.
mytest.log