diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-04-05 17:18:51 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-04-05 17:18:51 -0700 |
| commit | c382dec32aac64dfa50e999795841950e4d81fed (patch) | |
| tree | c575441e7ec384941177a7a6c846e4f6a5f0a8f8 /Test/dafny1/runtest.bat | |
| parent | 343f29bee9cad726c2de33d4ef6cdb49caa965d2 (diff) | |
| parent | e06dd62cbfe52cb75f358b22a98aadd12b52eb83 (diff) | |
branch merge
Diffstat (limited to 'Test/dafny1/runtest.bat')
| -rw-r--r-- | Test/dafny1/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny1/runtest.bat b/Test/dafny1/runtest.bat index 8d34dfc0..b6fc7f62 100644 --- a/Test/dafny1/runtest.bat +++ b/Test/dafny1/runtest.bat @@ -16,7 +16,7 @@ for %%f in (Queue.dfy PriorityQueue.dfy ExtensibleArray.dfy UnboundedStack.dfy
SeparationLogicList.dfy
ListCopy.dfy ListReverse.dfy ListContents.dfy
- MatrixFun.dfy
+ MatrixFun.dfy pow2.dfy
SchorrWaite.dfy
Cubes.dfy SumOfCubes.dfy
TerminationDemos.dfy Substitution.dfy TreeDatatype.dfy KatzManna.dfy
|