diff --git a/minuska-examples/m/imp.d/03-count-10.imp b/minuska-examples/m/imp.d/03-count-10.imp index 561248a4..3db635df 100644 --- a/minuska-examples/m/imp.d/03-count-10.imp +++ b/minuska-examples/m/imp.d/03-count-10.imp @@ -1,7 +1,7 @@ seq[seq[ - assign[var[(@builtin-string "sum")], plus[(@builtin-int 0),(@builtin-int 0)]], + assign[var[(@builtin-string "sum")], (@builtin-int 0)], seq[ - assign[var[(@builtin-string "i")], (@builtin-int 1)], + assign[var[(@builtin-string "i")], (@builtin-int 10)], while[le[(@builtin-int 1),var[(@builtin-string "i")]], seq[ assign[var[(@builtin-string "sum")], plus[var[(@builtin-string "sum")], var[(@builtin-string "i")]]], diff --git a/minuska-examples/m/imp.d/03-count-10.result b/minuska-examples/m/imp.d/03-count-10.result new file mode 100644 index 00000000..3bf78441 --- /dev/null +++ b/minuska-examples/m/imp.d/03-count-10.result @@ -0,0 +1 @@ +c[builtin.cseq[[(@builtin-int 55)], builtin.empty_cseq[]], [(@opaque_builtin)]] diff --git a/minuska-examples/test.sh b/minuska-examples/test.sh index ed59aa99..b6f2ab23 100755 --- a/minuska-examples/test.sh +++ b/minuska-examples/test.sh @@ -50,4 +50,5 @@ runCase "arith-01" ./interpreters/arith ./m/arith.d/01 20 ./m/arith.d/01.result minuska compile ./m/imp.m ./interpreters/imp runCase "imp-01" ./interpreters/imp ./m/imp.d/01 20 ./m/imp.d/01.result runCase "imp-lookup" ./interpreters/imp ./m/imp.d/00-assign-lookup-trivial.imp 20 ./m/imp.d/00-assign-lookup-trivial.result +runCase "imp-count-10" ./interpreters/imp ./m/imp.d/03-count-10.imp 1000 ./m/imp.d/03-count-10.result