Reuh/anselme
1
0
Fork 0
mirror of https://github.com/Reuh/anselme.git synced 2025-10-28 09:09:31 +00:00
Code Releases Activity

Final test batch and associated fixes

Browse source
This commit is contained in:
Étienne Fildadut 2023-12-31 19:41:14 +01:00
parent 050c84921c
commit 43a745a7a9
66 changed files with 1233 additions and 51 deletions
Download patch file Download diff file Expand all files Collapse all files

40
test/tests/scope checkpoint mutable bis.ans Normal file
View file

@ -0,0 +1,40 @@
:x = *[99]
:l = *[1,x]
:n = 0
:$ f(t)
t!insert(len(l)+1)
|f1: {l} {t}
|CHECK
merge branch!
n < 1 ~
|REC
n += 1
f(t)
|END REC
|f2: {l}
|CHECK 2
merge branch!
t!insert(len(t)+1)
t(2)!insert(len(l)+1)
|f3: {l} {t}
f(l)
|FINAL
|l: {l}
|x: {x}