| method | void prepare() |
| presumption | net.sourceforge.pebble.web.model.Model:get(...)@55 != null |
| presumption | net.sourceforge.pebble.web.view.impl. LogAsTabDelimitedView:getModel(...)@103 != null |
| presumption | net.sourceforge.pebble.web.view.impl. LogAsTabDelimitedView:getModel(...)@55 != null |
| presumption | net.sourceforge.pebble.web.view.impl. LogAsTabDelimitedView:getModel(...)@56 != null |
| test_vector | net.sourceforge.pebble.web.model.Model:get(... )@56: Addr_Set{null}, Inverse{null} |
| presumption | java.util.Iterator:next(...)@77 != null |
| presumption | net.sourceforge.pebble.logging.Log:getLogEntries(.. .)@77 != null |
| test_vector | java.util.Iterator:hasNext(...)@77: {1}, {0} |
| test_vector | net.sourceforge.pebble.logging.LogEntry:getReferer( ...)@92: Addr_Set{null}, Inverse{null} |
| test_vector | net.sourceforge.pebble.logging.LogEntry:getStatusCo de(...)@86: {-1}, {-231..-2, 0..232-1} |