atddiff/test/filter_backward/filter_new.atd


1
2
3
4
5
6
7
8
9
10
11
12

(*
   Test that the command-line filters make the correct selection of findings.
*)

type a = {
  added_field: int; (* backward incompatibility *)
  changing_type: string;
}

type b = {
  uses_a: a; (* backward and forward incompatibilities *)
}