diff options
Diffstat (limited to 'Test/dafny1/runtest.bat')
| -rw-r--r-- | Test/dafny1/runtest.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Test/dafny1/runtest.bat b/Test/dafny1/runtest.bat index 948eedc1..eaee07d4 100644 --- a/Test/dafny1/runtest.bat +++ b/Test/dafny1/runtest.bat @@ -14,6 +14,7 @@ for %%f in (BQueue.bpl) do ( for %%f in (Queue.dfy
BinaryTree.dfy
UnboundedStack.dfy
+ SeparationLogicList.dfy
ListCopy.dfy ListReverse.dfy ListContents.dfy
SchorrWaite.dfy
SumOfCubes.dfy
|