index
:
ING1-Projects.git
main
Projets ING1 2024-2025
Marcellus
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tiger-compiler
/
tests
/
assert
/
good
/
assert-seq-let.tig
blob: 0baaa0a7f1986c9588f2b27b1073590481cb0d45 (
plain
)
1
2
3
4
5
assert (let var value := 5 in value end) = 0