index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
Mode
Name
Size
-rw-r--r--
AdvancedLHS.dfy
1541
log
plain
-rw-r--r--
AdvancedLHS.dfy.expect
178
log
plain
-rw-r--r--
Array.dfy
8998
log
plain
-rw-r--r--
Array.dfy.expect
3998
log
plain
-rw-r--r--
AssumptionVariables0.dfy
1341
log
plain
-rw-r--r--
AssumptionVariables0.dfy.expect
1883
log
plain
-rw-r--r--
AssumptionVariables1.dfy
585
log
plain
-rw-r--r--
AssumptionVariables1.dfy.expect
61
log
plain
-rw-r--r--
AutoReq.dfy
5841
log
plain
-rw-r--r--
AutoReq.dfy.expect
1696
log
plain
-rw-r--r--
Backticks.dfy
1110
log
plain
-rw-r--r--
Backticks.dfy.expect
367
log
plain
-rw-r--r--
BadFunction.dfy
487
log
plain
-rw-r--r--
BadFunction.dfy.expect
189
log
plain
-rw-r--r--
Basics.dfy
16659
log
plain
-rw-r--r--
Basics.dfy.expect
3676
log
plain
-rw-r--r--
Calculations.dfy
2389
log
plain
-rw-r--r--
Calculations.dfy.expect
811
log
plain
-rw-r--r--
CallStmtTests.dfy
489
log
plain
-rw-r--r--
CallStmtTests.dfy.expect
229
log
plain
-rw-r--r--
ChainingDisjointTests.dfy
1013
log
plain
-rw-r--r--
ChainingDisjointTests.dfy.expect
61
log
plain
-rw-r--r--
Char.dfy
1381
log
plain
-rw-r--r--
Char.dfy.expect
421
log
plain
-rw-r--r--
CoPrefix.dfy
5009
log
plain
-rw-r--r--
CoPrefix.dfy.expect
2394
log
plain
-rw-r--r--
CoResolution.dfy
4602
log
plain
-rw-r--r--
CoResolution.dfy.expect
2570
log
plain
-rw-r--r--
Coinductive.dfy
8331
log
plain
-rw-r--r--
Coinductive.dfy.expect
4407
log
plain
-rw-r--r--
CoinductiveProofs.dfy
6369
log
plain
-rw-r--r--
CoinductiveProofs.dfy.expect
3034
log
plain
-rw-r--r--
Compilation.dfy
4440
log
plain
-rw-r--r--
Compilation.dfy.expect
102
log
plain
-rw-r--r--
CompilationErrors.dfy
900
log
plain
-rw-r--r--
CompilationErrors.dfy.expect
767
log
plain
-rw-r--r--
Comprehensions.dfy
1500
log
plain
-rw-r--r--
Comprehensions.dfy.expect
282
log
plain
-rw-r--r--
Computations.dfy
5222
log
plain
-rw-r--r--
Computations.dfy.expect
62
log
plain
-rw-r--r--
ComputationsLoop.dfy
252
log
plain
-rw-r--r--
ComputationsLoop.dfy.expect
288
log
plain
-rw-r--r--
ComputationsLoop2.dfy
303
log
plain
-rw-r--r--
ComputationsLoop2.dfy.expect
464
log
plain
-rw-r--r--
ComputationsNeg.dfy
1079
log
plain
-rw-r--r--
ComputationsNeg.dfy.expect
826
log
plain
-rw-r--r--
ContainerRanks.dfy
883
log
plain
-rw-r--r--
ContainerRanks.dfy.expect
61
log
plain
-rw-r--r--
ControlStructures.dfy
6501
log
plain
-rw-r--r--
ControlStructures.dfy.expect
4231
log
plain
-rw-r--r--
Corecursion.dfy
5570
log
plain
-rw-r--r--
Corecursion.dfy.expect
1901
log
plain
-rw-r--r--
DTypes.dfy
5267
log
plain
-rw-r--r--
DTypes.dfy.expect
984
log
plain
-rw-r--r--
DatatypeUpdate.dfy
1317
log
plain
-rw-r--r--
DatatypeUpdate.dfy.expect
61
log
plain
-rw-r--r--
Datatypes.dfy
7955
log
plain
-rw-r--r--
Datatypes.dfy.expect
2234
log
plain
-rw-r--r--
Definedness.dfy
6389
log
plain
-rw-r--r--
Definedness.dfy.expect
6314
log
plain
-rw-r--r--
DeterministicPick.dfy
1148
log
plain
-rw-r--r--
DeterministicPick.dfy.expect
242
log
plain
-rw-r--r--
DiamondImports.dfy
3064
log
plain
-rw-r--r--
DiamondImports.dfy.expect
833
log
plain
-rw-r--r--
DirtyLoops.dfy
631
log
plain
-rw-r--r--
DirtyLoops.dfy.expect
122
log
plain
-rw-r--r--
DiscoverBounds.dfy
1154
log
plain
-rw-r--r--
DiscoverBounds.dfy.expect
617
log
plain
-rw-r--r--
DisplayExpressions.dfy
440
log
plain
-rw-r--r--
DisplayExpressions.dfy.expect
473
log
plain
-rw-r--r--
EqualityTypes.dfy
12722
log
plain
-rw-r--r--
EqualityTypes.dfy.expect
6395
log
plain
-rw-r--r--
ForallCompilation.dfy
2301
log
plain
-rw-r--r--
ForallCompilation.dfy.expect
107
log
plain
-rw-r--r--
Fuel.dfy
13540
log
plain
-rw-r--r--
Fuel.dfy.expect
2716
log
plain
-rw-r--r--
FunctionSpecifications.dfy
4573
log
plain
-rw-r--r--
FunctionSpecifications.dfy.expect
2802
log
plain
-rw-r--r--
IMaps.dfy
2814
log
plain
-rw-r--r--
IMaps.dfy.expect
192
log
plain
-rw-r--r--
IMaps2.dfy
271
log
plain
-rw-r--r--
IMaps2.dfy.expect
208
log
plain
-rw-r--r--
ISets.dfy
988
log
plain
-rw-r--r--
ISets.dfy.expect
61
log
plain
-rw-r--r--
Include.dfy
793
log
plain
-rw-r--r--
Include.dfy.expect
631
log
plain
-rw-r--r--
Includee.dfy
563
log
plain
-rw-r--r--
Includee.dfy.expect
564
log
plain
-rw-r--r--
IndexIntoUpdate.dfy
291
log
plain
-rw-r--r--
IndexIntoUpdate.dfy.expect
174
log
plain
-rw-r--r--
InductivePredicates.dfy
3944
log
plain
-rw-r--r--
InductivePredicates.dfy.expect
276
log
plain
-rw-r--r--
Inverses.dfy
4237
log
plain
-rw-r--r--
Inverses.dfy.expect
606
log
plain
-rw-r--r--
IteratorResolution.dfy
3624
log
plain
-rw-r--r--
IteratorResolution.dfy.expect
1141
log
plain
-rw-r--r--
Iterators.dfy
9042
log
plain
-rw-r--r--
Iterators.dfy.expect
3377
log
plain
-rw-r--r--
JustWarnings.dfy
747
log
plain
-rw-r--r--
JustWarnings.dfy.expect
194
log
plain
-rw-r--r--
LetExpr.dfy
8436
log
plain
-rw-r--r--
LetExpr.dfy.expect
1270
log
plain
-rw-r--r--
LhsDuplicates.dfy
2205
log
plain
-rw-r--r--
LhsDuplicates.dfy.expect
1230
log
plain
-rw-r--r--
LiberalEquality.dfy
3206
log
plain
-rw-r--r--
LiberalEquality.dfy.expect
1633
log
plain
-rw-r--r--
LitTriggers.dfy
812
log
plain
-rw-r--r--
LitTriggers.dfy.expect
61
log
plain
-rw-r--r--
LoopModifies.dfy
6920
log
plain
-rw-r--r--
LoopModifies.dfy.expect
2822
log
plain
-rw-r--r--
Maps.dfy
4187
log
plain
-rw-r--r--
Maps.dfy.expect
233
log
plain
-rw-r--r--
MatchBraces.dfy
3035
log
plain
-rw-r--r--
MatchBraces.dfy.expect
2614
log
plain
-rw-r--r--
Matrix-OOB.dfy
506
log
plain
-rw-r--r--
Matrix-OOB.dfy.expect
551
log
plain
-rw-r--r--
ModifyStmt.dfy
3944
log
plain
-rw-r--r--
ModifyStmt.dfy.expect
1382
log
plain
-rw-r--r--
Modules0.dfy
7820
log
plain
-rw-r--r--
Modules0.dfy.expect
3606
log
plain
-rw-r--r--
Modules1.dfy
2509
log
plain
-rw-r--r--
Modules1.dfy.expect
641
log
plain
-rw-r--r--
Modules2.dfy
1638
log
plain
-rw-r--r--
Modules2.dfy.expect
740
log
plain
-rw-r--r--
ModulesCycle.dfy
262
log
plain
-rw-r--r--
ModulesCycle.dfy.expect
249
log
plain
-rw-r--r--
MultiDimArray.dfy
2384
log
plain
-rw-r--r--
MultiDimArray.dfy.expect
335
log
plain
-rw-r--r--
MultiSets.dfy
8298
log
plain
-rw-r--r--
MultiSets.dfy.expect
970
log
plain
-rw-r--r--
NatTypes.dfy
2980
log
plain
-rw-r--r--
NatTypes.dfy.expect
1314
log
plain
-rw-r--r--
NestedMatch.dfy
1153
log
plain
-rw-r--r--
NestedMatch.dfy.expect
62
log
plain
-rw-r--r--
NestedPatterns.dfy
3789
log
plain
-rw-r--r--
NestedPatterns.dfy.expect
645
log
plain
-rw-r--r--
Newtypes.dfy
9033
log
plain
-rw-r--r--
Newtypes.dfy.expect
1965
log
plain
-rw-r--r--
NewtypesResolution.dfy
6648
log
plain
-rw-r--r--
NewtypesResolution.dfy.expect
3301
log
plain
-rw-r--r--
NoTypeArgs.dfy
2096
log
plain
-rw-r--r--
NoTypeArgs.dfy.expect
62
log
plain
-rw-r--r--
NonGhostQuantifiers.dfy
7171
log
plain
-rw-r--r--
NonGhostQuantifiers.dfy.expect
4090
log
plain
-rw-r--r--
OpaqueFunctions.dfy
4721
log
plain
-rw-r--r--
OpaqueFunctions.dfy.expect
2869
log
plain
-rw-r--r--
OpaqueFunctionsFail.dfy
311
log
plain
-rw-r--r--
OpaqueFunctionsFail.dfy.expect
574
log
plain
-rw-r--r--
Parallel.dfy
8176
log
plain
-rw-r--r--
Parallel.dfy.expect
2005
log
plain
-rw-r--r--
ParallelResolveErrors.dfy
3708
log
plain
-rw-r--r--
ParallelResolveErrors.dfy.expect
2777
log
plain
-rw-r--r--
ParseErrors.dfy
2303
log
plain
-rw-r--r--
ParseErrors.dfy.expect
1331
log
plain
-rw-r--r--
PredExpr.dfy
1896
log
plain
-rw-r--r--
PredExpr.dfy.expect
592
log
plain
-rw-r--r--
Predicates.dfy
3646
log
plain
-rw-r--r--
Predicates.dfy.expect
1361
log
plain
-rw-r--r--
Protected.dfy
1492
log
plain
-rw-r--r--
Protected.dfy.expect
581
log
plain
-rw-r--r--
ProtectedResolution.dfy
1027
log
plain
-rw-r--r--
ProtectedResolution.dfy.expect
1154
log
plain
-rw-r--r--
RangeCompilation.dfy
526
log
plain
-rw-r--r--
RangeCompilation.dfy.expect
115
log
plain
-rw-r--r--
RankNeg.dfy
745
log
plain
-rw-r--r--
RankNeg.dfy.expect
737
log
plain
-rw-r--r--
RankPos.dfy
1614
log
plain
-rw-r--r--
RankPos.dfy.expect
62
log
plain
-rw-r--r--
Reads.dfy
3834
log
plain
-rw-r--r--
Reads.dfy.expect
1080
log
plain
-rw-r--r--
RealCompare.dfy
2351
log
plain
-rw-r--r--
RealCompare.dfy.expect
799
log
plain
-rw-r--r--
RealTypes.dfy
1203
log
plain
-rw-r--r--
RealTypes.dfy.expect
740
log
plain
-rw-r--r--
Refinement.dfy
4008
log
plain
-rw-r--r--
Refinement.dfy.expect
1861
log
plain
-rw-r--r--
RefinementErrors.dfy
2328
log
plain
-rw-r--r--
RefinementErrors.dfy.expect
1725
log
plain
-rw-r--r--
RefinementModificationChecking.dfy
1211
log
plain
-rw-r--r--
RefinementModificationChecking.dfy.expect
761
log
plain
-rw-r--r--
ResolutionErrors.dfy
45227
log
plain
-rw-r--r--
ResolutionErrors.dfy.expect
24714
log
plain
-rw-r--r--
ReturnErrors.dfy
843
log
plain
-rw-r--r--
ReturnErrors.dfy.expect
324
log
plain
-rw-r--r--
ReturnTests.dfy
1493
log
plain
-rw-r--r--
ReturnTests.dfy.expect
62
log
plain
-rw-r--r--
SeqFromArray.dfy
2767
log
plain
-rw-r--r--
SeqFromArray.dfy.expect
107
log
plain
-rw-r--r--
SeqSlice.dfy
1761
log
plain
-rw-r--r--
SeqSlice.dfy.expect
61
log
plain
-rw-r--r--
Shadows.dfy
1039
log
plain
-rw-r--r--
Shadows.dfy.expect
732
log
plain
-rw-r--r--
Simple.dfy
1667
log
plain
-rw-r--r--
Simple.dfy.expect
1569
log
plain
-rw-r--r--
Skeletons.dfy
1051
log
plain
-rw-r--r--
Skeletons.dfy.expect
474
log
plain
-rw-r--r--
SmallTests.dfy
20755
log
plain
-rw-r--r--
SmallTests.dfy.expect
6195
log
plain
-rw-r--r--
SplitExpr.dfy
3036
log
plain
-rw-r--r--
SplitExpr.dfy.expect
215
log
plain
-rw-r--r--
StatementExpressions.dfy
2692
log
plain
-rw-r--r--
StatementExpressions.dfy.expect
840
log
plain
-rw-r--r--
Strings.dfy
1627
log
plain
-rw-r--r--
Strings.dfy.expect
291
log
plain
-rw-r--r--
Superposition.dfy
1586
log
plain
-rw-r--r--
Superposition.dfy.expect
1597
log
plain
-rw-r--r--
TailCalls.dfy
2640
log
plain
-rw-r--r--
TailCalls.dfy.expect
406
log
plain
-rw-r--r--
Termination.dfy
9932
log
plain
-rw-r--r--
Termination.dfy.expect
2102
log
plain
d---------
Trait
1325
log
plain
-rw-r--r--
TriggerInPredicate.dfy
605
log
plain
-rw-r--r--
TriggerInPredicate.dfy.expect
389
log
plain
-rw-r--r--
Tuples.dfy
800
log
plain
-rw-r--r--
Tuples.dfy.expect
233
log
plain
-rw-r--r--
TypeAntecedents.dfy
2796
log
plain
-rw-r--r--
TypeAntecedents.dfy.expect
784
log
plain
-rw-r--r--
TypeInstantiations.dfy
1630
log
plain
-rw-r--r--
TypeInstantiations.dfy.expect
1822
log
plain
-rw-r--r--
TypeParameters.dfy
7008
log
plain
-rw-r--r--
TypeParameters.dfy.expect
1756
log
plain
-rw-r--r--
TypeSynonyms.dfy
972
log
plain
-rw-r--r--
TypeSynonyms.dfy.expect
61
log
plain
-rw-r--r--
TypeTests.dfy
6813
log
plain
-rw-r--r--
TypeTests.dfy.expect
5753
log
plain
-rw-r--r--
UnfoldingPerformance.dfy
1143
log
plain
-rw-r--r--
UnfoldingPerformance.dfy.expect
353
log
plain
-rw-r--r--
UserSpecifiedTypeParameters.dfy
2449
log
plain
-rw-r--r--
UserSpecifiedTypeParameters.dfy.expect
1287
log
plain
-rw-r--r--
columns.dfy
369
log
plain
-rw-r--r--
columns.dfy.expect
429
log
plain
-rw-r--r--
fun-with-slices.dfy
642
log
plain
-rw-r--r--
fun-with-slices.dfy.expect
61
log
plain
-rw-r--r--
one-message-per-failed-precondition.dfy
442
log
plain
-rw-r--r--
one-message-per-failed-precondition.dfy.expect
1021
log
plain
d---------
snapshots
924
log
plain