Open AtiyahElsheikh opened 1 year ago
There are random ad-hoc assertions that are conducted across the code, many of which are excessively executed. It is beneficial in terms of correctness and performance to carry out such checking along unit tests.
Related to #31 #39 #58 #59
Basics:
After initialisation:
During simulation:
There are random ad-hoc assertions that are conducted across the code, many of which are excessively executed. It is beneficial in terms of correctness and performance to carry out such checking along unit tests.
Related to #31 #39 #58 #59