linuxrwlocks/note.txt

   1 We can run the testcase_full (a testcase that contains all the method calls of
   2 the data structure) to infer all the parameters in one file, but that takes a
   3 long time that is mainly spent on the model-checking for unknown wrong
   4 inferences. To make things faster, we could split the big testcase into small
   5 cases (plus corner cases) and then run each of them one after another.
   6
   7 We ran testcase1 and then got inference result1.txt, then we ran testcase2 based
   8 on result1.txt, and we got result2.txt, which is the correct inference.