remove extraneous headers from tests

dafny-lang · Aug 30, 2016 · 6df6129 · 6df6129
1 parent 48af8f3
commit 6df6129
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 6 deletions.
diff --git a/Test/dafny0/AssertBy.dfy b/Test/dafny0/AssertBy.dfy
@@ -1,4 +1,4 @@
-// RUN: %dafny /dprint:- "%s" > "%t"
+// RUN: %dafny /env:0 /dprint:- "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 method M0(x: int, y: int)

diff --git a/Test/dafny0/AssertBy.dfy.expect b/Test/dafny0/AssertBy.dfy.expect
@@ -1,5 +1,3 @@
-// Dafny program verifier version 1.9.7.30401, Copyright (c) 2003-2016, Microsoft.
-// Command Line Options: -nologo -countVerificationErrors:0 -useBaseNameForFileName /dprint:- C:\dafny\Test\dafny0\AssertBy.dfy
 // AssertBy.dfy
 
 method M0(x: int, y: int)

diff --git a/Test/dafny0/AutoContracts.dfy b/Test/dafny0/AutoContracts.dfy
@@ -1,4 +1,4 @@
-// RUN: %dafny /print:"%t.print" /rprint:- "%s" > "%t"
+// RUN: %dafny /env:0 /print:"%t.print" /rprint:- "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 module OneModule {

diff --git a/Test/dafny0/AutoContracts.dfy.expect b/Test/dafny0/AutoContracts.dfy.expect
@@ -1,5 +1,3 @@
-// Dafny program verifier version 1.9.7.30401, Copyright (c) 2003-2016, Microsoft.
-// Command Line Options: -nologo -countVerificationErrors:0 -useBaseNameForFileName /print:C:\dafny\Test\dafny0\Output\AutoContracts.dfy.tmp.print /rprint:- C:\dafny\Test\dafny0\AutoContracts.dfy
 // AutoContracts.dfy
 
 /*