| summaryrefslogtreecommitdiff | 
diff options
Diffstat (limited to 'data/unit-testing/allocate_and_free.fate')
| -rw-r--r-- | data/unit-testing/allocate_and_free.fate | 11 | 
1 files changed, 11 insertions, 0 deletions
| diff --git a/data/unit-testing/allocate_and_free.fate b/data/unit-testing/allocate_and_free.fate index cf05414..8998236 100644 --- a/data/unit-testing/allocate_and_free.fate +++ b/data/unit-testing/allocate_and_free.fate @@ -1,8 +1,10 @@  (fate_version 1)  (local (ptr int) p0) +(local (list (ptr int)) lp0)  (allocate! p0) +  (set! (at p0) 72)  (assert! (= (at p0) 72) @@ -11,6 +13,15 @@  (free! (at p0)) +(add! (default (ptr int)) lp0) +(add! (default (ptr int)) lp0) +(add! (default (ptr int)) lp0) +(add! (default (ptr int)) lp0) + +(allocate! lp0.0) +(allocate! (at (access_pointer 1 lp0))) +(allocate! (access_pointer 1 lp0))) +  [COMPLETED]  (end!) | 


