TestDeclParser
|
100%
successful |
Tests
Test | Duration | Result |
---|---|---|
testAmbiguousDecls() | - | ignored |
testArrayDecl() | 0.824s | passed |
testFunctionDecl() | 0.823s | passed |
testGenericSortDecl1() | 0.917s | passed |
testGenericSortDecl2() | 0.830s | passed |
testGenericSortDecl3() | 0.788s | passed |
testGenericSortDecl4() | 0.825s | passed |
testGenericSortDecl5() | - | ignored |
testGenericSortDecl6() | 0.822s | passed |
testHeurDecl() | 0.823s | passed |
testPredicateDecl() | 0.807s | passed |
testProxySortDecl() | 0.787s | passed |
testSVDecl() | 0.829s | passed |
testSortDecl() | 0.823s | passed |