-module(factservertests). -export([main/0]). -import(factserver,[start/0]). -import(factclient,[getfact/2]). -import(testing,[startTesting/1,run_tests/1,eqTest/3]). main() -> startTesting("factservertests $Revision: 1.1 $"), P = factserver:start(), run_tests(makeTests(P)). -spec makeTests(pid()) -> [testing:testCase(non_neg_integer())]. makeTests(P) -> [eqTest(getfact(P,0),"==",1), eqTest(getfact(P,1),"==",1), eqTest(getfact(P,3),"==",6), eqTest(getfact(P,5),"==",120), eqTest(getfact(P,10),"==",3628800), eqTest(getfact(P,20),"==",2432902008176640000), eqTest(getfact(P,25),"==",15511210043330985984000000)].