Basically, the goal is to have a simple, reliable way to automatically test memory safety issues like leaks, invalid reads, invalid writes, double frees, and use-after-free errors during development.
Target usage:
The idea is that this command runs a test suite that executes a wide range of language features under controlled conditions.
The test suite should cover core language behavior such as variable declarations and assignments, arithmetic operations, conditionals, and function calls, as well as control flow constructs like for and while loops. It should also include edge cases like nested scopes, shadowing, early returns, and error handling paths to ensure memory is correctly managed in all execution branches.
Additionally, it should stress test dynamic features such as arrays, strings, and object or struct handling, especially focusing on ownership rules and lifetime tracking.
Over time, the test suite should evolve into a regression safety net for the language, making it easy to verify that new features or refactors do not introduce memory corruption or leaks.
Basically, the goal is to have a simple, reliable way to automatically test memory safety issues like leaks, invalid reads, invalid writes, double frees, and use-after-free errors during development.
Target usage:
The idea is that this command runs a test suite that executes a wide range of language features under controlled conditions.
The test suite should cover core language behavior such as variable declarations and assignments, arithmetic operations, conditionals, and function calls, as well as control flow constructs like
forandwhileloops. It should also include edge cases like nested scopes, shadowing, early returns, and error handling paths to ensure memory is correctly managed in all execution branches.Additionally, it should stress test dynamic features such as arrays, strings, and object or struct handling, especially focusing on ownership rules and lifetime tracking.
Over time, the test suite should evolve into a regression safety net for the language, making it easy to verify that new features or refactors do not introduce memory corruption or leaks.