Peano
Loading...
Searching...
No Matches
Namespaces
|
Functions
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
()
tests
unit
test_refine_erase_pointwisely.py
Generated on Tue Nov 3 2026 16:05:42 for Peano by
1.9.8