We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4cc4291 commit e6d3ed2Copy full SHA for e6d3ed2
1 file changed
microalg_tests.malg
@@ -215,6 +215,7 @@
215
'(or (put 'x 'type NIL) T)
216
# Pseudo-aléatoire
217
'(= 0 (Entier@ 0 0))
218
+ '(= 332 (prog (Initialiser@ 0) (Entier@ 0 1000)))
219
'(= 0 (Nieme@ (Liste 0)))
220
'(= "a" (Nieme@ "a"))
221
) )
0 commit comments