bill/whetstone_DSL
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Step 64 TDD test: Memory annotation validation

Browse Source 
Tests AnnotationValidator: valid @Reclaim(Tracing) passes,
@Deallocate(Explicit) without dealloc -> Missing Intent error,
@Owner(Single) aliasing -> error, conflicting parent/child annotations,
and valid @Lifetime(RAII) passes.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This commit is contained in:
Bill
2026-02-07 08:28:18 -07:00
parent 605fddc600
commit 880ecda73e
2 changed files with 218 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
editor/CMakeLists.txt
View File

@@ -181,6 +181,9 @@ target_include_directories(step62_test PRIVATE src)
add_executable(step63_test tests/step63_test.cpp)
target_include_directories(step63_test PRIVATE src)
add_executable(step64_test tests/step64_test.cpp)
target_include_directories(step64_test PRIVATE src)
add_executable(whetstone_editor src/main.cpp)
target_include_directories(whetstone_editor PRIVATE src)
# find_package(SDL2 REQUIRED) # Commented out for now to avoid build issues