simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

some tests for PiCalculus

Browse source
This commit is contained in:
Simon Cruanes 2013-05-20 21:44:17 +02:00
parent 3d199eeffb
commit 79dbf5e843
2 changed files with 35 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
tests/run_tests.ml
View file

@ -6,6 +6,7 @@ let suite =
"all_tests" >::: "all_tests" >:::
[ Test_pHashtbl.suite; [ Test_pHashtbl.suite;
Test_PersistentHashtbl.suite; Test_PersistentHashtbl.suite;
Test_PiCalculus.suite;
Test_splayMap.suite; Test_splayMap.suite;
Test_bij.suite; Test_bij.suite;
Test_leftistheap.suite; Test_leftistheap.suite;

34
tests/test_PiCalculus.ml Normal file
View file

@ -0,0 +1,34 @@
open OUnit
open PiCalculus
module Pi = PiCalculus
let test_message () =
let r = ref 0 in
let p1 = new_
(fun c ->
send_one c 1 stop |||
receive_one c (fun x -> r := x; stop))
in
Pi.run p1;
OUnit.assert_equal ~printer:string_of_int 1 !r;
()
let test_replicate () =
let a = ref 0 in
let b = ref 0 in
let p1 = new_
(fun c ->
replicate (escape (fun () -> incr a; send_one c !a stop)) |||
receive_one c (fun _ -> receive_one c (fun x -> b := x; stop)))
in
run p1;
OUnit.assert_equal ~printer:string_of_int 2 !b;
()
let suite =
"test_PiCalculus" >:::
[ "test_message" >:: test_message;
"test_replicate" >:: test_replicate;
]