
% ------------------------------------------------------------------------------------------------------
% Demonstrates the use of test cases in ContractLog

% Uses the \ContractLog\ecaruntime.prova implementation of the ContractLog framework
% ------------------------------------------------------------------------------------------------------

:-eval(consult('ContractLog/math.prova')).
:-eval(consult('ContractLog/list.prova')).
:-eval(consult('ContractLog/list_math.prova')).
:-eval(consult('ContractLog/datetime.prova')).
:-eval(consult('ContractLog/timeinterval.prova')).
:-eval(consult('ContractLog/ecaruntime.prova')).
:-eval(consult('ContractLog/testcase.prova')).
:-eval(consult('ContractLog/update.prova')).
:-eval(consult('ContractLog/utils.prova')).



:-solve(transaction(add("1"," b()."),"examples/function_tests/test_case/transactionTestCase.prova")).
:-solve(a()).
:-solve(transaction(add("1","a(). b()."),"examples/function_tests/test_case/transactionTestCase.prova")).
:-solve(a()).