search

kiniry / Mobius

4 stars 8 forks source link

[ escjava-Bugs-317 ] Escjava/test/junittests/SpecFile.jml fails under cygwin #141

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Bugs item #317, was opened at 2006-06-08 11:35 You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=317&group_id=97

Category: Unit Tests Group: CVS HEAD Status: Open Resolution: None Priority: 3 Submitted By: Patrice Chalin (chalin) Assigned to: Dermot Cochran (dcochran) Summary: Escjava/test/junittests/SpecFile.jml fails under cygwin

Initial Comment: As can be seen in the trace below, the problem seems to be that ESC/Java2 cannot find the file. (Note that using "." as a class path has no effect.)

cd c:/home/chalin/dev/ESCTools/Escjava/test/junittests/ unset CLASSPATH; drun escj SpecFile.spec File: /home/chalin/dev/logs/junittests-run-log-060608-0.txt DRUN $Id: drun,v 1.1 2006/06/03 05:17:28 chalin Exp 3892 Invoked as: drun escj SpecFile.spec PWD: c:/home/chalin/dev/ESCTools/Escjava/test/junittests

Start at: Thu Jun 8 07:30:32 EDT 2006

ESC/Java version ESCJava-CURRENT-CVS SpecFile.spec:1: Error: Could not find file referenced in refine annotation: SpecFile.jml //@ refine "SpecFile.jml"; ^ [0.485 s 9094824 bytes]

SpecFile ... .\SpecFile.refines-java:6: Caution: JML requires a specification to begin with 'also' when the declaration refines a previous declaration public void m(); ^ SpecFile.spec:6: Associated declaration: public void m(); ^ Prover started:0.406 s 11297872 bytes [3.016 s 11462992 bytes]

SpecFile: m() ... [0.0 s 11464080 bytes] passed immediately

SpecFile: SpecFile() ... [0.0 s 11465280 bytes] passed immediately [3.016 s 11466160 bytes total] 1 caution

1 error

End at: Thu Jun 8 07:30:43 EDT 2006

Comment By: David Cok (davidcok) Date: 2006-10-22 02:07

Message: I'm not able to reproduce this. Can you provide more info?

You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=317&group_id=97 }}}

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:08:06 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: None (GH: None) Date: Tue Apr 27 14:34:16 2010

Milestone ESCJava2 2.0.9 release deleted

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:14:03 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:18:18 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Thu Jan 10 18:30:22 2008

Duplicate of #204