Method List
-
#any_failures? Proof::Summary
-
#any_successes? Proof::Summary
-
#backtrace Proof::Error
-
#comment Proof
-
#current Proof::Description
-
default_device Proof::Suite
-
default_output Proof::Suite
-
#define_prove Proof::CoreExt::Object::Methods
-
#defined Proof::Extend
-
#desc Proof
-
#device Proof::Suite
-
#error_message Proof::Error
-
#errors Proof::Summary
-
#extend_obj Proof::Extend
-
#extension Proof::Extend
-
#extension_name Proof::Extend
-
#fails Proof::Summary
-
#files Proof::Suite
-
#first_frame Proof::Error::Backtrace
-
flatten Proof::Suite
-
glob Proof::Suite
-
#heading Proof
-
#initialize Proof::Suite
-
into Proof::Extend
-
#lines Proof::Output
-
#mod Proof::Extend
-
#namespace Proof::Namespace
-
#new_line Proof::Output
-
#no_results? Proof::Summary
-
#output Proof::Summary
-
#output Proof::Suite
-
output Proof::Error
-
#output Proof::Error
-
output Proof::Summary
-
#output_method Proof::Result
-
#passes Proof::Summary
-
#prefix Proof::Output
-
#proof Proof
-
#remove_proof_framework_frames! Proof::Error::Backtrace
-
#root_namespace Proof::Namespace
-
#run Proof::Execution
-
run Proof::Suite
-
#run Proof::Suite
-
run Proof::Execution
-
#section Proof
-
start Proof
-
#status Proof::Summary
-
stop Proof
-
#summary Proof::Summary
-
#title Proof
-
#undefine_prove Proof::CoreExt::Object::Methods
-
#write Proof::Result