TestDeclParser
|
100%
successful |
Tests
Test | Duration | Result |
---|---|---|
testAmbiguousDecls() | - | ignored |
testArrayDecl() | 0.880s | passed |
testFunctionDecl() | 0.879s | passed |
testGenericSortDecl1() | 0.971s | passed |
testGenericSortDecl2() | 0.894s | passed |
testGenericSortDecl3() | 0.881s | passed |
testGenericSortDecl4() | 0.882s | passed |
testGenericSortDecl5() | - | ignored |
testGenericSortDecl6() | 0.843s | passed |
testHeurDecl() | 0.881s | passed |
testPredicateDecl() | 0.882s | passed |
testProxySortDecl() | 0.880s | passed |
testSVDecl() | 0.842s | passed |
testSortDecl() | 0.880s | passed |