Started 1 mo 28 days ago
Took 15 min

Failed Build #142 (May 17, 2020 6:46:31 PM)

Build Artifacts
Changes
  1. Correct recursive type check for function types, fixes #707 (details / githubweb)
  2. Correct specification statement parse, fixes #708 (details / githubweb)
  3. Added stack overflow handing, fixes #709 (details / githubweb)
  4. More sensible file handling in CommandReader (details / githubweb)
  5. Improved stack overflow handling, fixes #709 (details / githubweb)
  6. Improved stack overflow stack printing, fixes #709 (details / githubweb)
  7. Add annotations.debug property to debug annotation parsing (details / githubweb)
  8. Fix #ifdef processing and move to properties, fixes #710 (details / githubweb)
  9. Add checks for reserved word prefixes in definition names, fixes #711 (details / githubweb)
  10. Allow renamed function imports to use reserved prefixes, fixes #711 (details / githubweb)
  11. Added warning for TypeComparator with ParameterTypes, fixes #562 (details / githubweb)
  12. Added coprights to ParameterFinder (details / githubweb)
  13. Allow state records to be imported as types (details / githubweb)
  14. Added #ifndef processing to LatexStreamReader (details / githubweb)
  15. Corrected toString for seq binds, fixes #651 (details / githubweb)
  16. Added #ifndef keyword (details / githubweb)
  17. Fix check for exit statements, fixes #14 (details / githubweb)
  18. More fixes for #14 (details / githubweb)
  19. Small fix for measure expressions, see #15 (details / githubweb)
  20. First cut changes for mutual recursive TCs, fixes #15 (details / githubweb)
  21. Better resolution of apply function names, fixes #15 (details / githubweb)
  22. Exit detection understands "is not yet specified" (details / githubweb)
  23. Added extra checks for exceptions, searching expressions. See #14 (details / githubweb)
  24. Some corrections to mutual recursion checking, #15 (details / githubweb)
  25. Add a depth limit to recursive cycle searching, see #15 (details / githubweb)
  26. Added some clones to TypeCompatabilityObligation, see #15 (details / githubweb)
  27. Add expression and bind checks to exception checking, see #14 (details / githubweb)
  28. Correction to seq comprehensions to use "bind", see #692 (details / githubweb)
  29. Correctly order type-bind generated invariant values, see #692 (details / githubweb)
  30. Replaces the oxygen repositories with the 2019-12 ones (details / githubweb)
  31. Bumps the Eclipse version from 4.7 to 4.14. (details / githubweb)
  32. Drops support to 32 bit versions. (details / githubweb)
  33. Replaces direct usage of Equinox DS bundle (details / githubweb)
  34. Added IR nodes and cases for ASetPattern and AUnionPattern. (details / githubweb)
  35. Add "opaque" label to types' toString (details / githubweb)
  36. Change (opaque) label to /* opaque */ (details / githubweb)
  37. Check for nil values in InvariantValue equalities, fixes #717 (details / githubweb)
  38. Adds Overture 2.7.4 release notes (details / githubweb)
  39. Preparing the release of Overture 2.7.4 (details / githubweb)
  40. Revert "Merge pull request #714 from SamieJim/js/ir" (details / githubweb)
  41. [maven-release-plugin] prepare release Release/2.7.4 (details / githubweb)
  42. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  43. Do not report mutual recursion via pre/post expressions, fixes #719 (details / githubweb)
  44. Correct check for cyclic recursion, fixes #720 (details / githubweb)
  45. Update test results for recursive cycle check (details / githubweb)
  46. Fixes #721 (details / githubweb)

Push event to branch pvj/main at 18:46:23 on 17-May-2020

Revision: 8ba01645980266663ee810b6f9b16deb32a8deed
  • pvj/main
Jacoco - Overall Coverage Summary
INSTRUCTION42%
BRANCH31%
COMPLEXITY32%
LINE43%
METHOD44%
CLASS83%
Test Result (4 failures / +4)
Jacoco - Overall Coverage Summary
INSTRUCTION54%
BRANCH43%
COMPLEXITY43%
LINE53%
METHOD53%
CLASS78%
Jacoco - Overall Coverage Summary
INSTRUCTION42%
BRANCH31%
COMPLEXITY32%
LINE43%
METHOD44%
CLASS83%
Task Scanner: 218 open tasks in 1,025 workspace files.
Jacoco - Overall Coverage Summary
INSTRUCTION42%
BRANCH31%
COMPLEXITY32%
LINE43%
METHOD44%
CLASS83%
Task Scanner: 97 open tasks in 262 workspace files.