loc_id_routing_steps.rb revision d327eb79653cf7820fe583473ab35816d44cd757
2880N/A visit @subject.locid
3996N/A expect(page.title).to include(@subject.send(attribute))
2880N/A ontology = @subject.ontology
2880N/A expect(page.title).to include(ontology.send(attribute))
2880N/A expect(page.find_all(".nav_tab_level#{level} > .nav-tabs > li.active").last.text).
2880N/AThen(/^a headline should include "Proof Attempt of \[the corresponding theorem's name\]"$/) do
2880N/A theorem = @subject.theorem