diff --git a/CMakeLists.txt b/CMakeLists.txt index c2d269c..ac83280 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -48,7 +48,7 @@ clangformat_targets() message(STATUS "Adding tests") -FILE(GLOB ALL_FILES +FILE(GLOB_RECURSE ALL_FILES CONFIGURE_DEPENDS tests/* ) @@ -62,3 +62,5 @@ endforeach() set_property(TEST three_regions.vpy PROPERTY WILL_FAIL true) set_property(TEST leak_with_global.vpy PROPERTY WILL_FAIL true) +set_property(TEST modify_cown.vpy PROPERTY WILL_FAIL true) +set_property(TEST read_region.vpy PROPERTY WILL_FAIL true) diff --git a/tests/invalid_cowns/modify_cown.vpy b/tests/invalid_cowns/modify_cown.vpy new file mode 100644 index 0000000..c7f043b --- /dev/null +++ b/tests/invalid_cowns/modify_cown.vpy @@ -0,0 +1,7 @@ + +# A simple cown +a = {} +region a +co = cown a + +co.other = {} diff --git a/tests/invalid_cowns/read_region.vpy b/tests/invalid_cowns/read_region.vpy new file mode 100644 index 0000000..dfc7958 --- /dev/null +++ b/tests/invalid_cowns/read_region.vpy @@ -0,0 +1,7 @@ + +# A simple cown +a = {} +region a +co = cown a + +dummy = co.region