Hi,
FYI. The specs_test target is now working again, though only under Java
1.4. Of course, you need to build and test under a Java 1.4
environment. The target is set to make use of the
ESCTools/specs-java1.4. The test also works when the JMLspecs specs are
used:
make ESCJAVA2_SPECS_JAVA1_4=/home/chalin/dev/JMLspecs/java4 specs_test
Cheers,
Patrice
--
Patrice Chalin, Eng., Software Engineering UGP Director, Associate Prof.
Dependable Software Research Group, CSE Department, Concordia University
Room EV3.215, Phone +1-514-848-2424 x3004. www.encs.concordia.ca/~chalin
-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at
http://www.sourceforge.net/community/cca08_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava
