k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Test failure in tool distribution

From: Russell Wallace <russell.wallace AT gmail.com>
To: "Saxena, Manasvi" <msaxena2 AT illinois.edu>
Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Test failure in tool distribution
Date: Mon, 28 Aug 2017 20:52:47 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=russell.wallace AT gmail.com

On Mon, Aug 28, 2017 at 4:28 PM, Saxena, Manasvi <msaxena2 AT illinois.edu> wrote:

Hi Russell,

I’m not entirely sure what’s causing the issue. Would it be possible for you to send the contents of the file C:\kframework\k\k-distribution\target\failsafe-reports?

Right, that's a folder, so I've attached an archive of it.

Also, try running “mvn package -DskipTests”. It’ll build K without running the tests, so you’ll be able to use it until we can debug the issue.

Yeah, following the instructions I did the package build first, which was successful.

Attachment: failsafe-reports.7z
Description: Binary data

[[K-user] ] Test failure in tool distribution, Russell Wallace, 08/27/2017
- Re: [[K-user] ] Test failure in tool distribution, Saxena, Manasvi, 08/28/2017
  - Re: [[K-user] ] Test failure in tool distribution, Russell Wallace, 08/28/2017