Peano
Loading...
Searching...
No Matches
test_refine_erase_pointwisely.py File Reference

Go to the source code of this file.

Namespaces

namespace  test_refine_erase_pointwisely
 Unit tests for the point-wise refinement criterion (exahype2.api.RefineErasePointwisely).
 

Functions

 test_refine_erase_pointwisely.test_signature_returns_refinement_command_through_pointer ()
 
 test_refine_erase_pointwisely.test_declaration_is_void_and_pure_virtual_without_implementation ()
 
 test_refine_erase_pointwisely.test_implementation_becomes_body ()
 
 test_refine_erase_pointwisely.test_stub_for_user_solver ()
 
 test_refine_erase_pointwisely.test_solver_accepts_term ()