Java CI with Maven

Workflow runs for Java CI with Maven

• Drop true rows for variables that another row of Found already shows

  completed successfully:
  Java CI with Maven#1077:Pull request#472openedbyCatarinaGamboa
  fix/unneeded-true-rows

  Nov 3, 20261m 54s
  More actions for workflow run 1077

• Give state hints when the state set or methods come from the receiver…

  completed successfully:
  Java CI with Maven#1076:Commitdc1a63fpushedbyCatarinaGamboa
  main

  Nov 3, 20261m 37s
  More actions for workflow run 1076

• Give state hints when the state set or methods come from the receiver's supertypes

  completed successfully:
  Java CI with Maven#1075:Pull request#464synchronizebyCatarinaGamboa
  fix/456-inherited-state-hints

  Nov 3, 20261m 55s
  More actions for workflow run 1075

• Give state hints when the state set or methods come from the receiver's supertypes

  completed successfully:
  Java CI with Maven#1074:Pull request#464synchronizebyCatarinaGamboa
  fix/456-inherited-state-hints

  Nov 3, 20261m 44s
  More actions for workflow run 1074

• Give state hints when the state set or methods come from the receiver's supertypes

  completed successfully:
  Java CI with Maven#1073:Pull request#464synchronizebyCatarinaGamboa
  fix/456-inherited-state-hints

  Nov 3, 20261m 40s
  More actions for workflow run 1073

• Give state hints when the state set or methods come from the receiver's supertypes

  completed successfully:
  Java CI with Maven#1072:Pull request#464synchronizebyCatarinaGamboa
  fix/456-inherited-state-hints

  Nov 3, 20261m 54s
  More actions for workflow run 1072

• Drop true binders the error does not need and write fields as in code…

  completed successfully:
  Java CI with Maven#1071:Commit70edf72pushedbyCatarinaGamboa
  main

  Nov 3, 20261m 52s
  More actions for workflow run 1071

• Suggest only calls allowed in any state when the receiver's state is …

  completed successfully:
  Java CI with Maven#1070:Commit48ef72dpushedbyCatarinaGamboa
  main

  Nov 3, 20261m 42s
  More actions for workflow run 1070

• Suggest only calls allowed in any state when the receiver's state is unknown

  completed successfully:
  Java CI with Maven#1069:Pull request#458synchronizebyCatarinaGamboa
  state-hints-unknown-goal

  Nov 3, 20261m 49s
  More actions for workflow run 1069

• Drop true binders the error does not need and write fields as in code

  completed successfully:
  Java CI with Maven#1068:Pull request#459synchronizebyCatarinaGamboa
  fix/457-true-binders

  Nov 3, 20261m 49s
  More actions for workflow run 1068

• Keep the values expected depends on in the counterexample (#460)

  completed successfully:
  Java CI with Maven#1067:Commit00cdb11pushedbyCatarinaGamboa
  main

  Nov 3, 20261m 55s
  More actions for workflow run 1067

• Drop true binders the error does not need and write fields as in code

  completed successfully:
  Java CI with Maven#1066:Pull request#459synchronizebyCatarinaGamboa
  fix/457-true-binders

  Nov 3, 20261m 52s
  More actions for workflow run 1066

• Suggest only calls allowed in any state when the receiver's state is unknown

  completed successfully:
  Java CI with Maven#1065:Pull request#458synchronizebyCatarinaGamboa
  state-hints-unknown-goal

  Nov 3, 20261m 56s
  More actions for workflow run 1065

• Drop true binders the error does not need and write fields as in code

  completed successfully:
  Java CI with Maven#1064:Pull request#459synchronizebyCatarinaGamboa
  fix/457-true-binders

  Nov 3, 20261m 47s
  More actions for workflow run 1064

• Keep the values expected depends on in the counterexample

  completed successfully:
  Java CI with Maven#1063:Pull request#460synchronizebyCatarinaGamboa
  fix/counterexample-expected-vars

  Nov 3, 20261m 38s
  More actions for workflow run 1063

• Suggest only calls allowed in any state when the receiver's state is unknown

  completed successfully:
  Java CI with Maven#1062:Pull request#458synchronizebyCatarinaGamboa
  state-hints-unknown-goal

  Nov 3, 20261m 14s
  More actions for workflow run 1062

• Drop true binders the error does not need and write fields as in code

  completed successfully:
  Java CI with Maven#1061:Pull request#459synchronizebyCatarinaGamboa
  fix/457-true-binders

  Nov 3, 20261m 25s
  More actions for workflow run 1061

• Keep the values expected depends on in the counterexample

  completed successfully:
  Java CI with Maven#1060:Pull request#460synchronizebyCatarinaGamboa
  fix/counterexample-expected-vars

  Nov 3, 20261m 40s
  More actions for workflow run 1060

• Suggest only calls allowed in any state when the receiver's state is unknown

  completed successfully:
  Java CI with Maven#1059:Pull request#458synchronizebyCatarinaGamboa
  state-hints-unknown-goal

  Nov 3, 20261m 47s
  More actions for workflow run 1059

• Drop true binders the error does not need and write fields as in code

  completed successfully:
  Java CI with Maven#1058:Pull request#459synchronizebyCatarinaGamboa
  fix/457-true-binders

  Nov 3, 20261m 59s
  More actions for workflow run 1058

• Compute loop typestates as a fixpoint over iterations (#434)

  completed successfully:
  Java CI with Maven#1057:Commit0053074pushedbyCatarinaGamboa
  main

  Nov 3, 20261m 38s
  More actions for workflow run 1057

• Keep the values expected depends on in the counterexample

  completed successfully:
  Java CI with Maven#1056:Pull request#460synchronizebyCatarinaGamboa
  fix/counterexample-expected-vars

  Nov 2, 20261m 54s
  More actions for workflow run 1056

• Suggest only calls allowed in any state when the receiver's state is unknown

  completed successfully:
  Java CI with Maven#1055:Pull request#458synchronizebyCatarinaGamboa
  state-hints-unknown-goal

  Nov 2, 20261m 51s
  More actions for workflow run 1055

• Give state hints when the state set or methods come from the receiver's supertypes

  completed successfully:
  Java CI with Maven#1054:Pull request#464openedbyCatarinaGamboa
  fix/456-inherited-state-hints

  Nov 2, 20261m 41s
  More actions for workflow run 1054

• Keep the values expected depends on in the counterexample

  completed successfully:
  Java CI with Maven#1053:Pull request#460openedbyCatarinaGamboa
  fix/counterexample-expected-vars

  Nov 2, 20263m 6s
  More actions for workflow run 1053