module test_mini_cecil.

import mini_cecil_abstract_syntax mini_cecil.

type test	int -> value -> o.

test 1 V :-
	(evalsto (intLiteral 3) V).

test 2 V :-
	(evalsto true V).

test 3 V :-
	(evalsto false V).

test 4 V :-
	(evalsto (msgExpr "theVoid" nil) V).

test 5 V :-
	(evalsto (msgExpr "and" (true::false::nil)) V).

test 6 V :-
	(evalsto (msgExpr "add" ((msgExpr "1" nil)::(intLiteral 4)::nil)) V).