diff options
| author |  Rustan Leino <unknown> | 2015-10-06 14:43:20 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-10-06 14:43:20 -0700 |
| commit | f0ebf2e8535bd70db2061fb11671aeeedefa2877 (patch) | |
| tree | 12c883ec4563ed3dfc94d854646e3a4e1d675d23 /Test/dafny0 | |
| parent | 27120ddc7adb3a0c789c1ee784d73a4be08de118 (diff) | |
Use /env:0 to avoid full pathnames in test output
Diffstat (limited to 'Test/dafny0')
| -rw-r--r-- | Test/dafny0/ExistentialGuards.dfy | 2 | ||||
| -rw-r--r-- | Test/dafny0/ExistentialGuards.dfy.expect | 2 | ||||
| -rw-r--r-- | Test/dafny0/ExistentialGuardsResolution.dfy | 2 | ||||
| -rw-r--r-- | Test/dafny0/ExistentialGuardsResolution.dfy.expect | 2 |
4 files changed, 2 insertions, 6 deletions
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
|