Skip to content

Commit e6d3ed2

Browse files
committed
Tests pour (Entier@ 0 1000).
1 parent 4cc4291 commit e6d3ed2

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

microalg_tests.malg

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -215,6 +215,7 @@
215215
'(or (put 'x 'type NIL) T)
216216
# Pseudo-aléatoire
217217
'(= 0 (Entier@ 0 0))
218+
'(= 332 (prog (Initialiser@ 0) (Entier@ 0 1000)))
218219
'(= 0 (Nieme@ (Liste 0)))
219220
'(= "a" (Nieme@ "a"))
220221
) )

0 commit comments

Comments
 (0)