VMTacletMatcherTest
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| matchVarBindingTermSingle() | 0.001s | passed |
| testMatchFunctionTerm() | 0.001s | passed |
| testMatchPropositionalFormula() | 0.001s | passed |
| testMatchVarBindingTermHiding() | 0.001s | passed |
| testMatchVarBindingTermMoreHiding() | 0.001s | passed |
| testMatchVarBindingTermNested() | 0s | passed |