/* LPS test results file generated on 2017-10-22 at 12:31:54 on Prolog swi(7,5,8,[]) for program file: /Users/mc/git/logicalcontracts/examples/forTesting/serializedDice.pl_.P */ :-dynamic lps_test_result/3,lps_test_result_item/3,lps_test_action_ancestor/3,lps_test_options/1. % LPS options prior to the test: lps_test_options([dc]). % lps_test_result(Stage,Cycle,TestTerm) lps_test_result(fluents,0,1). lps_test_result(events,1,0). lps_test_result(fluents,1,1). lps_test_result(events,2,2). lps_test_result(fluents,2,1). lps_test_result(events,3,0). lps_test_result(fluents,3,1). lps_test_result(events,4,0). lps_test_result(fluents,4,1). % lps_test_result_item(Stage,Cycle,TestTerm) lps_test_result_item(fluents,0,rolled(none)). lps_test_result_item(fluents,1,rolled(none)). lps_test_result_item(events,2,roll(2)). lps_test_result_item(events,2,roll(1)). lps_test_result_item(fluents,2,rolled(1)). lps_test_result_item(fluents,3,rolled(1)). lps_test_result_item(fluents,4,rolled(1)). % lps_test_action_ancestor(Call,T1,T2)