Lines Matching refs:ProofStatus
2 factory :proof_status_success, class: ProofStatus do
3 initialize_with { ProofStatus.find('SUC') }
6 factory :proof_status_csa, class: ProofStatus do
7 initialize_with { ProofStatus.find('CSA') }
10 factory :proof_status_csas, class: ProofStatus do
11 initialize_with { ProofStatus.find('CSAS') }
14 factory :proof_status_open, class: ProofStatus do
15 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_OPEN_STATUS) }
18 factory :proof_status_proven, class: ProofStatus do
19 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_PROVEN_STATUS) }
22 factory :proof_status_disproven, class: ProofStatus do
23 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_DISPROVEN_STATUS) }
26 factory :proof_status_unknown, class: ProofStatus do
27 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_UNKNOWN_STATUS) }
30 factory :proof_status_contr, class: ProofStatus do
31 initialize_with { ProofStatus.find(ProofStatus::CONTRADICTORY) }
38 { 'identifier' => ProofStatus::DEFAULT_OPEN_STATUS,
48 { 'identifier' => ProofStatus::DEFAULT_PROVEN_STATUS,
53 { 'identifier' => ProofStatus::DEFAULT_DISPROVEN_STATUS,
58 { 'identifier' => ProofStatus::DEFAULT_UNKNOWN_STATUS,
63 { 'identifier' => ProofStatus::CONTRADICTORY,
81 ProofStatus.where(identifier: status['identifier']).any? ||
82 ProofStatus.create(status)