Lines Matching refs:axiom_selection
39 let(:axiom_selection) { create :manual_axiom_selection, axioms: axioms }
45 pac.axiom_selection = axiom_selection.axiom_selection
62 let(:axiom_selection) { create :manual_axiom_selection, axioms: [] }
68 pac.axiom_selection = axiom_selection.axiom_selection
85 let(:axiom_selection) do
93 pac.axiom_selection = axiom_selection.axiom_selection