Package de.uka.ilkd.key.proof.runallproofs
|
3%
successful |
Failed tests
- RunAllProofsInfFlow. passwordfile.SecurePasswordFile(passwordfile.SecurePasswordFile___userIndex()).JML accessible clause.0.key
- RunAllProofsInfFlow. SimpleEvoting
- RunAllProofsInfFlow. ToyVoting_nomacro
- RunAllProofsInfFlow. SumExample_nomacro
- RunAllProofsInfFlow. ToyBanking_nomacro
- RunAllProofsInfFlow. BlockContracts_nomacro
- RunAllProofsInfFlow. MethodContracts_nomacro
- RunAllProofsInfFlow. LoopInvariants_nomacro
- RunAllProofsInfFlow. MiniExamples_nomacro
- RunAllProofsInfFlow. ToyVoting
- RunAllProofsInfFlow. NewObjects_nomacro
- RunAllProofsInfFlow. SimpleEvoting_nomacro
- RunAllProofsInfFlow. ToyVoting_fullmacro
- RunAllProofsInfFlow. SumExample_fullmacro
- RunAllProofsInfFlow. ToyBanking_fullmacro
- RunAllProofsInfFlow. BlockContracts_fullmacro
- RunAllProofsInfFlow. MethodContracts_fullmacro
- RunAllProofsInfFlow. InformationFlow_fullmacro
- RunAllProofsInfFlow. MiniExamples_fullmacro
- RunAllProofsInfFlow. NewObjects_fullmacro
- RunAllProofsInfFlow. ConditionalConfidential
- RunAllProofsInfFlow. SimpleEvoting_fullmacro
- RunAllProofsInfFlow. SumExample
- RunAllProofsInfFlow. ToyBanking
- RunAllProofsInfFlow. BlockContracts
- RunAllProofsInfFlow. MethodContracts
- RunAllProofsInfFlow. LoopInvariants
- RunAllProofsInfFlow. MiniExamples
- RunAllProofsInfFlow. NewObjects
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| RunAllProofsInfFlow | 30 | 29 | 0 | 1m3.91s | 3% |