This repo contains the Python port of Re:Praxis. Please see that repo for documentation on how to use RePraxis. The public APIs are almost identical.
-
RePraxisDatabase.Assert()
was renamedRePraxisDatabase.asset_statement
(assert
is a reserved keyword in Python). - Method and function names were changed to snake-case to comply with Python conventions.