Tests fail on vcg

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

#119 Tests fail on vcg

Milestone: none

Status: open

Owner: Leo Freitas

Labels: None

Priority: 5

Updated: 2013-04-11

Created: 2013-04-03

Creator: Andrius Velykis

Private: No

Anthony Hall reported that tests fail during Maven build on the vcg project. Attached is the build log with exceptions.

2 Attachments

net.sourceforge.czt.vcg.z.dc.DomainCheckerTest.txt

t.log

Discussion

Andrius Velykis - 2013-04-05

This happened on Windows 7, 64-bit. The builds do pass correctly on Mac and Linux.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Andrius Velykis - 2013-04-10

Looks like builds do fail on Linux as well. The behaviour is sporadic - sometimes the tests do pass correctly, sometimes they fail.

This has happened after zvcg branch merge (commit 33a7aea8d35737a72d5af264a9d4b159613234c7)

Attaching a surefire report and the exceptions (same file).

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Andrius Velykis - 2013-04-10

assigned_to: Leo Freitas
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Andrius Velykis - 2013-04-11

A hint to reproduce: try running the build twice, but do not clean the second time.

I have noticed that if I ran the build with mvn clean install first, and only mvn deploy after, I got the VCG test failures.

I am not fully sure that this is how you should reproduce - just a hint.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.