From f0ebf2e8535bd70db2061fb11671aeeedefa2877 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Tue, 6 Oct 2015 14:43:20 -0700 Subject: Use /env:0 to avoid full pathnames in test output --- Test/dafny0/ExistentialGuards.dfy | 2 +- Test/dafny0/ExistentialGuards.dfy.expect | 2 -- Test/dafny0/ExistentialGuardsResolution.dfy | 2 +- Test/dafny0/ExistentialGuardsResolution.dfy.expect | 2 -- 4 files changed, 2 insertions(+), 6 deletions(-) (limited to 'Test/dafny0') diff --git a/Test/dafny0/ExistentialGuards.dfy b/Test/dafny0/ExistentialGuards.dfy index 5afb3979..0706fc5b 100644 --- a/Test/dafny0/ExistentialGuards.dfy +++ b/Test/dafny0/ExistentialGuards.dfy @@ -1,4 +1,4 @@ -// RUN: %dafny /dprint:- "%s" > "%t" +// RUN: %dafny /dprint:- /env:0 "%s" > "%t" // RUN: %diff "%s.expect" "%t" predicate P(n: int) diff --git a/Test/dafny0/ExistentialGuards.dfy.expect b/Test/dafny0/ExistentialGuards.dfy.expect index 21461067..65e9f179 100644 --- a/Test/dafny0/ExistentialGuards.dfy.expect +++ b/Test/dafny0/ExistentialGuards.dfy.expect @@ -1,5 +1,3 @@ -// Dafny program verifier version 1.9.5.20511, Copyright (c) 2003-2015, Microsoft. -// Command Line Options: -nologo -countVerificationErrors:0 -useBaseNameForFileName /dprint:- C:\dafny\Test\dafny0\ExistentialGuards.dfy // ExistentialGuards.dfy predicate P(n: int) diff --git a/Test/dafny0/ExistentialGuardsResolution.dfy b/Test/dafny0/ExistentialGuardsResolution.dfy index 8fce1de5..e2b55a99 100644 --- a/Test/dafny0/ExistentialGuardsResolution.dfy +++ b/Test/dafny0/ExistentialGuardsResolution.dfy @@ -1,4 +1,4 @@ -// RUN: %dafny /dprint:- "%s" > "%t" +// RUN: %dafny /dprint:- /env:0 "%s" > "%t" // RUN: %diff "%s.expect" "%t" predicate P(n: int) diff --git a/Test/dafny0/ExistentialGuardsResolution.dfy.expect b/Test/dafny0/ExistentialGuardsResolution.dfy.expect index 681bb13d..c9b62ff5 100644 --- a/Test/dafny0/ExistentialGuardsResolution.dfy.expect +++ b/Test/dafny0/ExistentialGuardsResolution.dfy.expect @@ -1,5 +1,3 @@ -// Dafny program verifier version 1.9.5.20511, Copyright (c) 2003-2015, Microsoft. -// Command Line Options: -nologo -countVerificationErrors:0 -useBaseNameForFileName /dprint:- C:\dafny\Test\dafny0\ExistentialGuardsResolution.dfy // ExistentialGuardsResolution.dfy -- cgit v1.2.3