• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

uqbar-project / wollok
89%
master: 85%

Build:
Build:
LAST BUILD BRANCH: dev
DEFAULT BRANCH: master
Repo Added 28 Jun 2015 11:29PM UTC
Files 131
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH dev-design-by-contract-preconditions
branch: dev-design-by-contract-preconditions
CHANGE BRANCH
x
Reset
  • dev-design-by-contract-preconditions
  • #1424-type-for-closures-using-class-type-parameters
  • #1428-generictypes-are-not-types
  • #1518-agregar-copy-without-a-colecciones
  • 1.6.3-general-fixes
  • 1.7-environment-fixes
  • 1.9.2-release
  • 1363-disallow-effectless-expressions-in-sequences
  • 439069eb930eef5abf0cd53345b0f18f03fa731a
  • 9fb624cac77337f09db28d7108cf5c78ca1b1cd5
  • Add-tests-to-ts
  • DNU-fixes
  • Doubles-Roundup-Truncate
  • Fix-#1046-Equality-Dates
  • Fix-#1459-stack-overflow-ts-wollok-game
  • Integer-division-#924
  • ListConstructor
  • ProyectoFinal2015-wollok-game
  • REPL-doesn't-show-""-for-Strings-in-collection-#1563
  • REPL-error-throw-fix
  • REPL-fix-#960
  • REPL-fixes
  • add-github-actions
  • add-license-1
  • add-quickfix-when-calling-wko-inside-same-wko
  • add-quickfix-when-calling-wko-inside-the-same-wko
  • add-random-method-to-collections-and-ranges-and-change-anyOne-logic-#1014
  • add-roundUp-to-integer
  • add-utils-position-methods
  • add-wko-parent-constructor-to-ts
  • add_#1984_#1985_text_on_visual_objects
  • adding-test-lazyness-wko
  • adding-wollok-language-project
  • agregar-copy-without-a-colecciones-#1518
  • allow-wlk-files-in-different-folders
  • allowing-fqn-class-in-constructors
  • assert-enhancements
  • assertion-exception-#1240
  • assertion-exception-#1245
  • autocomplete-filter-private-methods
  • autocomplete-properties-#1325
  • autocomplete-with-typesystem
  • bye-any-type-in-declarations
  • change-cell-size
  • change-null-void-methods
  • change-version-to-1.4.1
  • changing-to-trusty
  • check-message-#878
  • ci-fixes
  • classpath-files-loading
  • clean-console-#876
  • collections-equals-#202-#203
  • comparar-wko-con-equals-#1176
  • comparing-null-reference-by-identity
  • configurable-checkings
  • console-#2-#13-#88-#14-#87
  • console-enhancements
  • const-initialized-in-all-constructors
  • constructor-fixes
  • contentAssist-enhancements
  • date-fix-initial-#1711
  • date-refactor
  • date-toString-#964
  • deadlock-wollok
  • deadlock-wollok-while-building-projects
  • debugger-fixes
  • debugger-renaissance
  • decimal-exponentiation
  • def-classdiagram-improvements
  • def-fix-#710
  • default-utf8
  • deprecate-wdk
  • deprecated-wdk-scripts
  • dev
  • dev-#1045-incorrect-error-marked-regarding-returns-in-overriden-method
  • dev-#1062-Migrate-to-Xpect-2.11
  • dev-#1068-error-parting-wollokdoc
  • dev-#1087-libraries
  • dev-#1134-fix-static-diagram-icon
  • dev-#1180-delegate-constructor-to-super-without-redefinition-must-be-a-warning
  • dev-#133-detect-bad-if
  • dev-#135-imports
  • dev-#140-newGrammar
  • dev-#142-integrate-with-junit
  • dev-#145-intro
  • dev-#156-wollokdoc
  • dev-#159-objects-extend-class
  • dev-#162-custom-hover
  • dev-#165-check-return-no-further-statement
  • dev-#177-change-versions-for-release-1.1
  • dev-#188-formatter-keep-sequences-separated
  • dev-#193-illegal-lifecycle-version
  • dev-#206-navigate-imports
  • dev-#223-tests-bar
  • dev-#262-imports-for-libraries
  • dev-#268-calltosuperconstructor-on-wko
  • dev-#270-extract-method-refactoring
  • dev-#3-#555-#563-Minor-issues
  • dev-#310-adding-quickfix
  • dev-#33-objdiag-dont-redraw-#225
  • dev-#369-closures-to-wollok
  • dev-#371-varargs
  • dev-#372-conversionBetweenCollectionTypes
  • dev-#385-check-valid-return-on-method
  • dev-#386-flatMap
  • dev-#398-Error-comparing-equality-of-two-WKO
  • dev-#411-Checking-invalid-file-names
  • dev-#424-catch-without-type-and-unreachace-catch-validation
  • dev-#429-message-not-understood-in-wollok
  • dev-#437-Autocomplete-show-where-method-comes-from
  • dev-#452-upgrade-xtext-2.9
  • dev-#453-autocomplete-for-imports
  • dev-#454-exception-on-natives
  • dev-#463-refactor-object-to-wobject
  • dev-#476-remove-wizards
  • dev-#477-model-keyboard-keys
  • dev-#483-fixing-default-images
  • dev-#485-replace-config.json-with-wollok-code
  • dev-#489-remove-visual-from-board
  • dev-#492-support-english-convention
  • dev-#504-val-to-const
  • dev-#507-test-double-click-raises-exception
  • dev-#543-fixing-wollokgame-thread
  • dev-#591-new-wollok-program
  • dev-#594-tile-image-fill-screen
  • dev-#598-#599-REPL-bugs
  • dev-#665-forbid-autoref-on-wko-use-self-instead
  • dev-#666-assertion-exception
  • dev-#668-enable-REPL-while-Wollok-Game-runs
  • dev-#721-Typo-error
  • dev-#722-overriding-method-must-provide-a-body
  • dev-#732-return-on-catch
  • dev-#736-check-dont-use-boolean-in-comparisson
  • dev-#739-running-REPL-ask-open-project
  • dev-#746-check-local-variable-just-to-return
  • dev-#749-check-dont-return-assignment
  • dev-#765-anonymous-objects-are-not-printable
  • dev-#767-allow-subclipse-wizards
  • dev-#771-error-printing-Doubles-in-object-property
  • dev-#774-check-non-booleans-in-boolean-exp
  • dev-#778-and-#478-renaming-game-object-and-adding-position-create-method
  • dev-#784-string-indexes
  • dev-#786-repl-copy-paste
  • dev-#795-1.5-logo
  • dev-#799-forbid-self-in-program
  • dev-#807-exception-in-closures
  • dev-#817-commons-collections-not-found
  • dev-#822-displaying-comparison-errors
  • dev-#828-line-separator
  • dev-#833-static-checks-on-library
  • dev-#980-exportar-proyecto
  • dev-1.4
  • dev-1.4#608-Removing-unused-messages
  • dev-1.4-#27-floating-point-equalty
  • dev-1.4-#634-#421-REPL-issues
  • dev-1.4-#641-Printing-duplicated-elements-in-List
  • dev-1.4-#644-NPE-in-exception-with-a-message
  • dev-1.4-#645-variable-declaration-with-cross-references
  • dev-1.4-#647-dispose-images-fonts-and-colors
  • dev-1.4-#655-Quick-fix-required-superclass-constructor
  • dev-1.4-fix-#530
  • dev-1.4-fix-#631
  • dev-1.4-fixes-#622
  • dev-1.4-fixes-#637
  • dev-1.4-releasing-#629
  • dev-1.5
  • dev-1.5-#1027-duplicated-class-name
  • dev-1.5-#411-Validating-invalid-filenames
  • dev-1.5-#590-Quickfix-Create-Method-in-different-file
  • dev-1.5-#832-Add-Rerun-button
  • dev-1.5-#854-Add-quickfix-create-method-for-self
  • dev-1.5-#857-Validation-when-2-tests-same-description
  • dev-1.5-#882-Clean-Xtend-Files
  • dev-1.5-Disable-Validations-in-REPL
  • dev-1.6
  • dev-1.7
  • dev-1150-fix-delegate-constructor-to-super
  • dev-2.0
  • dev-2.0-juancete
  • dev-2.0-junit5
  • dev-DSL-issues
  • dev-UI-minimal
  • dev-astprinter
  • dev-automatic-changelog
  • dev-collections-api
  • dev-collections-equality
  • dev-default-gameboard
  • dev-dictionary
  • dev-feature-teamwork
  • dev-fix#693-#692-#704
  • dev-fix-#896-StackOverFlow
  • dev-fix-debugger
  • dev-fix-versions-for-releasing-1.4
  • dev-fixing-code-error
  • dev-fixing-commons-collecions
  • dev-fixing-imports
  • dev-glitch-in-editor-#680
  • dev-interval
  • dev-issue-#691
  • dev-issue-510
  • dev-javadoc-wlk
  • dev-mixins
  • dev-natives-to-wollok
  • dev-null-fix
  • dev-quickfixes
  • dev-range-api
  • dev-refactor-splitting-projects
  • dev-repl
  • dev-scm
  • dev-splitting-plugins
  • dev-static-code-generation
  • dev-strings-issues
  • dev-test-easy
  • dev-upgrade-version-to-1.4.0
  • dev-variable-const
  • dev-while
  • dev-zoom-for-static-diagram
  • disable-ts
  • division-issue-#1016
  • doc-wollok-game-#863
  • dynamic-diagram-#1710-core-objects
  • dynamic-diagram-enhancements
  • dynamic-diagram-for-single-test
  • dynamic-diagram-revamp
  • effect-system
  • egit-plugin-old
  • enable-ts-by-default
  • enhance-builder-ts
  • enhancement-#1289-assert-same-class
  • enhancement-#1726-QuickFix-agregar-import-de-un-elemento-no-existente
  • enhancement-#1726-quickfix-agregar-import-de-un-elemento-no-existente
  • environment-setup-docs-update
  • errores-interprete-en-consola
  • errores-se-guardan-al-salvar
  • errors-and-warnings
  • feature-#1692-change-toString-of-Date
  • feature-#387-dictionary-sintax
  • feature-#409-haskellize-collections-messages
  • feature-#522-find-fails
  • feature-#566-add-times
  • feature-add-imports-to-repl
  • feature-constructor-keyword
  • feature-no-braces
  • feature-removing-constructors
  • feature-simpler-method-body
  • feature-unified-block-syntax
  • feature-wollok-linearization
  • feature/adding-more-methods-to-game
  • fix-#1018-set-comparison
  • fix-#1019-mixins-call-self
  • fix-#1035-null-receiver
  • fix-#1052-exp-precedence
  • fix-#1071-test-result-view-broken
  • fix-#1083
  • fix-#1089-wrong-error-message-in-test
  • fix-#1102-clear-test-view
  • fix-#1110
  • fix-#1111-already-imported-variable-duplicated
  • fix-#1111-must-not-allow-to-override-imported-object
  • fix-#1155-ifWithoutElseValidationInExpression
  • fix-#1176-compare-wko-with-equals
  • fix-#1221-calling-self-in-describe
  • fix-#1231-constantes-globales
  • fix-#1264-wollok-hangs
  • fix-#1272
  • fix-#1286-code-outside-a-fixture
  • fix-#1290-broken-links-Win
  • fix-#1298
  • fix-#1321-assert-equals-hell
  • fix-#1324-repl-console-mac
  • fix-#1334
  • fix-#1340-TS-not-working-for-all-AST-nodes
  • fix-#1342-consructor-type-expectations
  • fix-#1359-test-not-red
  • fix-#1366-enhance-null-messages
  • fix-#1370-performance-interpreter
  • fix-#1374-named-parameters
  • fix-#1398-big-numbers-printing
  • fix-#1399-missing-import-renders-stack-overflow
  • fix-#1401-recursiveRelationships-toString
  • fix-#1402-properties-in-type-system
  • fix-#1404-native-fake-class
  • fix-#1405-unnecessary-validation
  • fix-#1410-ClosureTypes-as-GenericType
  • fix-#1421-unused-variable
  • fix-#1425-map-method
  • fix-#1436-TS-builder
  • fix-#1439-revert-deleted-tests
  • fix-#1442-type-collection-elements-after-block-variable
  • fix-#1443-outline-classCast
  • fix-#1477-marcas-de-error-en-editor
  • fix-#1479-self-type-return
  • fix-#1486-if-with-assignment
  • fix-#1488-fix-toString-mixins
  • fix-#1489-object-instantiation-abstract-methods
  • fix-#1491-return-as-argument
  • fix-#1499-wollok-versions
  • fix-#1502-create-exceptions-without-cause
  • fix-#1504-assertion-exception-for-expected-exception
  • fix-#1506-create-max-and-min-if-empty-methods
  • fix-#1510-fix-about-wollok-icon
  • fix-#1518-copy-and-copywithout
  • fix-#1519-non-initialized-constant-for-named-parameters
  • fix-#1520-local-variables-describe
  • fix-#1528-noisy-println-rounding-numbers
  • fix-#1531-formatting-issue-for-methods-in-describe
  • fix-#1532-formatting-issue-for-methods-in-describe
  • fix-#1532-override-getter-property
  • fix-#1544-quickFix-new-undeclared-class
  • fix-#1559-autocomplete-roto-con-typesystem-disabled
  • fix-#1563-REPL-doesn't-show-quotation-marks-for-Strings-in-collection
  • fix-#1563-REPL-show-quotation-marks-for-Strings-in-collection
  • fix-#1563-REPL-show-quotation-marks-for-strings-in-collection
  • fix-#1563-repl-show-quotation-marks-for-strings-in-collection
  • fix-#1564-property-implements-abstract-method
  • fix-#1589-ts-no-buildea-todo
  • fix-#1601-splash-screen
  • fix-#1605-message-arguments-in-outline
  • fix-#1606-errors-should-not-prevent-run
  • fix-#1608-problema-al-importar-dos-objetos-con-el-mismo-nombre
  • fix-#1618-REPL-optimization
  • fix-#1620-if-number-fail
  • fix-#1634-never-assigned-warning
  • fix-#1638-local-variables-in-init-test
  • fix-#1648-autocomplete-with-ts
  • fix-#1695-quickfix-when-calling-wko-inside-same-wko
  • fix-#1702-type-system-infinite-loop
  • fix-#1721-empty-describes-validation
  • fix-#1734-multiples-describes-in-tests
  • fix-#1739-Definición-de-una-constante-por-fuera-de-un-container-me-pide-que-inicie-en-minúscula
  • fix-#1739-definicion-de-una-constante-por-fuera-de-un-container-me-pide-que-inicie-en-minuscula
  • fix-#1741-closure-varargs
  • fix-#1743-withoutDuplicates-de-List-no-respeta-el-orden
  • fix-#1762-nls-unused-warning-message
  • fix-#1767-NPE
  • fix-#1769-reload-source-REPL
  • fix-#1771-inconsistencias-en-list.asSet
  • fix-#1776-ajuste-de-mensajes-de-error
  • fix-#1779-replace-unique-method
  • fix-#1781-package-json
  • fix-#1788-String-split-does-not-work-for-given-strings-longer-than-one-char
  • fix-#1794-indentar-constantes-globales
  • fix-#1801-test-runner-cli-several-files
  • fix-#1805-mejor-validacion-uso-if
  • fix-#1808-constructor-call-property-const
  • fix-#1815-import-problem-same-files
  • fix-#1817-add-attribute-to-wollokdoc
  • fix-#1820-position-message
  • fix-#1823-sleep-interrupted
  • fix-#1830-formatter-fixes
  • fix-#1836-eliminar-imports-redundantes-al-importar-con-quick-fix
  • fix-#1836-eliminar-imports-redundantes-al-importar-con-quickfix
  • fix-#1837-diferenciar-wko-de-class-en-quick-fix-de-agregar-import
  • fix-#1841-test-runner
  • fix-#1846-collision-between-describes-and-imports
  • fix-#1851-allow-folder-in-spaces-for-tests
  • fix-#1872-QuickFix-transformar-variable-global-en-constante
  • fix-#1872-global-variable-quickFix
  • fix-#1875-property-validation
  • fix-#1894-cannot-return-assignment
  • fix-#1904-dynamic-diagram-inside-describe
  • fix-#1916-class-initialization-should-include-mixins
  • fix-#1917-mixin-and-class-should-not-have-same-variable
  • fix-#1918-RAM-configuration
  • fix-#192-no-use-default-location-for-new-project
  • fix-#1924-missing-i18-only-flag
  • fix-#1928-console-REPL-outdated-only-when-activated
  • fix-#1934-dark-mode
  • fix-#1935-bug-dynamic-diagram-test-only
  • fix-#1938-warning-bloques-metodos
  • fix-#1947-validator-message
  • fix-#1949-static-diagram-elements-width
  • fix-#1954-dynamic-diagram-describe-bug
  • fix-#1955-error-xtext-reconciler-job
  • fix-#1959-refactor-rename-references
  • fix-#1960-dynamic-diagram-icon
  • fix-#1971-variable-outside-block
  • fix-#279-cyclic-hierarchy
  • fix-#340-clear-repl-history
  • fix-#356-quickFix-add-method-superclass
  • fix-#394-produce-warning-project-errors
  • fix-#511-allow-to-override-Object-methods
  • fix-#588-removing-collision-listeners
  • fix-#676-weird-warnings-new-project
  • fix-#685-running-all-tests
  • fix-#868-cross-wko-references
  • fix-#911-native-void-methods-no-null
  • fix-#966-core-classes-validator
  • fix-#97-add-description-to-wollok-wizards
  • fix-#993-division-numbers
  • fix-1137-type-system-slows-down-editor
  • fix-1160-multi-assign-operators
  • fix-1168-error-in-simple-method-delegating-a-message
  • fix-1187-syntax-not-considered-by-type-system
  • fix-1187-ts-compare-by-==
  • fix-1294
  • fix-1341-constructor-improvements
  • fix-1346-constructor-call-constraints
  • fix-1348-add-parametric-types-for-types
  • fix-1349-ts-handle-entire-project
  • fix-1361-game-aborts-when-removing-objects-on-collision
  • fix-1362-warnings-when-executing-tests
  • fix-1382-errores-en-paths-en-windows
  • fix-1988-add-spanish-docs
  • fix-663-better-parser-error-messages
  • fix-948-wko-types
  • fix-anyOne-on-sets
  • fix-babel-p2-repository
  • fix-babel-update-site
  • fix-cells-creation-for-resized-games
  • fix-colliders
  • fix-const-property-#1325
  • fix-cyclic-references-instantiation
  • fix-debugger-test
  • fix-dependency-type-system
  • fix-dev-branch
  • fix-equals-for-collections-#859-#865-#866
  • fix-equals-for-sets-and-lists-#859-#865-#866
  • fix-extract-method
  • fix-game-position
  • fix-icons-on-mac
  • fix-imports-validations
  • fix-list-get
  • fix-little-problems-with-date
  • fix-maven-plugin
  • fix-neon-repo
  • fix-number-operations
  • fix-number-times
  • fix-random-in-range-#1003
  • fix-referenciable-linking-error
  • fix-repl-object-literal
  • fix-result-assertion-failed-wko
  • fix-some-ts-errors
  • fix-target-platform
  • fix-travis-build
  • fix-ts-modulo-and-if-without-else
  • fix-tycho-packaging
  • fix-type-filter
  • fix-type-system-config
  • fix-type-system-issues
  • fix-update-dirty-state-in-editor
  • fix-wdk
  • fix-wg-return-types
  • fix-wizards
  • fix-wollok-test-result-assertion-failed
  • fix-wollokGame-performance
  • fixed-performance-static-diagram
  • fixes-highlight-editor
  • fixes-varios
  • fixing-icon-in-windows
  • fixing-space-issue
  • formatter-cli-#1666
  • formatter-issues
  • game-general-background
  • gramsci-splash-window
  • hack-for-mumuki
  • hackaton-fix-new-wko-wizard-in-windows
  • hotfix-1.6.5
  • hotfixes
  • i1013
  • i1075
  • imports-repl-highlight-fix-#1707
  • improving-guice-speed
  • improving-performance-in-imports
  • incompatibility-closure-types
  • infinite_list_type
  • integrating-md-plugin
  • issue-#403-replace-extends-keyword
  • issue-#409-preludes-collection-messages
  • issue-#414-replace-this-with-self
  • issue-#603-WKO-inheritance
  • issue-wrong-test-name
  • keycode-update
  • lang-and-lib-types
  • language-core-changes
  • libgdx-new-version
  • list-without-duplicates
  • map-returns-list-#916
  • master
  • method-inference-before-message-send-parameters
  • migration-to-2.13
  • missing-gitignores
  • mixins-at-instantiation-#537
  • mixins-checks
  • multithreaded-interpreter
  • multithreading-interpreter
  • named-parameters-constructor
  • new-default-image-for-visuals
  • new-icons
  • new-string-methods
  • new-wollok-file-wizard
  • new-wollok-wizard
  • noansi-paramenter-#326
  • not-identical-message-#934
  • npasserini-patch-1
  • number-unification
  • object-diagram-repl
  • open-debug-on-startup
  • organizing-examples
  • p2-repo-fixes
  • pair-type-by-initializers
  • parser-messages
  • partial-fix-1318-add-immutable-methods-to-position
  • polymorphic-method-type
  • post-hachaton-prueba
  • problema-al-importar-dos-objetos-con-el-mismo-nombre-#1608
  • product-about-#849
  • product-intro-page
  • product-welcome-page
  • put-diagram-window-next-to-outline
  • put-typesystem-in-product
  • quick-fix-hotfixes
  • quickFix-fixes
  • readme
  • reduce-log-in-travis
  • refresh-problems-view
  • remove-svn-and-add-egit-plugin
  • repl-#790-RTF-copy
  • repl-console-link-stacktrace
  • repl-outdated
  • repl-paste-text
  • repl-without-file-#1945
  • restricted-menu
  • revert-1314-named-parameters-constructor
  • run-all-test-fixes
  • scm-automation-#1696
  • scopes-and-imports-issues
  • server
  • set-line-number-default-true
  • sgit-upgrade
  • sound-control
  • splash-gramsci
  • splash-ingalls
  • splash-screen-azurduy
  • stack-overflow-896
  • stackTrace-fixes
  • static-diagram-fix-#1712-NPE
  • static-diagram-fix-#681
  • static-diagram-fixes
  • staticDiagram-hotfixes
  • support-message-sending-to-closures
  • test-fixes
  • test-performance-check
  • test-suite-epic
  • ts-adds-mdu
  • ts-declarations-test
  • ts-fatal-should-not-happen
  • ts-inherits-properties
  • ts-null-literal
  • ts-object-literal
  • ts-return-in-closures
  • ts-super-invocation
  • ts-wollok-game
  • type-system
  • type-system-avoid-reports-to-core-objects
  • typeSystem-additionalChecks
  • typeSystem-tests
  • unify-double-and-decimal-into-number
  • union-types
  • updating-readme
  • upgrade-eclipse-neon-xtext
  • usability-issues
  • v1.1.0-Aristoteles
  • v1.2.0
  • v1.3.0
  • v1.4.0
  • v1.4.1
  • v1.4.2
  • v1.4.3
  • v1.5.0
  • v1.5.1
  • v1.5.2
  • v1.5.3
  • v1.6.0
  • v1.6.1
  • v1.6.2
  • v1.6.3
  • v1.6.4
  • v1.6.5
  • v1.6.6
  • v1.6.7
  • v1.7.0
  • v1.7.1
  • v1.7.2
  • v1.7.5
  • v1.7.6
  • v1.8.0
  • v1.8.1
  • v1.8.2
  • v1.8.3
  • v1.8.4
  • v1.8.5
  • v1.9.0
  • v1.9.2
  • v2.0.0
  • v2.0.1
  • v2.0.2
  • v9.9.6
  • v9.9.7
  • v9.9.8
  • v9.9.9
  • validator-issues
  • wdate
  • welcome-page
  • wlk-in-different-folders
  • wollok-game-enhancements
  • wollok-game-features
  • wollok-language-unification
  • wollok-libraries
  • wollok-properties
  • wollokDoc-enhancements
  • wollokDoc-generator
  • wollokGame-2019-issues
  • wollokdoc-using-code-tag
  • wtest-launcher-rmi-buffered
  • wtest-no-launcher
  • xpect-0.2.0.20201003

pending completion
1853

push

travis-ci

javierfernandes
Removing print

13486 of 15136 relevant lines covered (89.1%)

0.89 hits per line

Relevant lines Covered
Build:
Build:
15136 RELEVANT LINES 13486 COVERED LINES
0.89 HITS PER LINE
Source Files on dev-design-by-contract-preconditions
  • List 0
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1853 dev-design-by-contract-preconditions Removing print push 24 Oct 2016 02:49PM UTC javierfernandes travis-ci pending completion  
1825 dev-design-by-contract-preconditions Adding initial version of postconditions (ensures). They are inherited and can be strenghthened. Still it doesn't have support for expressing conditions based on the OLD value of certain state of the object. So they are pretty basic right now push 17 Oct 2016 03:06PM UTC javierfernandes travis-ci pending completion  
1824 dev-design-by-contract-preconditions cleaning up prints push 17 Oct 2016 01:28PM UTC javierfernandes travis-ci pending completion  
1821 dev-design-by-contract-preconditions Uncommenting type system labels push 17 Oct 2016 12:27PM UTC javierfernandes travis-ci pending completion  
1819 dev-design-by-contract-preconditions Merge branch 'dev' into dev-design-by-contract-preconditions push 17 Oct 2016 12:18PM UTC javierfernandes travis-ci pending completion  
1816 dev-design-by-contract-preconditions Implementing preconditions override. More tests and refactor on dbc exceptions hierarchy push 14 Oct 2016 04:43PM UTC javierfernandes travis-ci pending completion  
1813 dev-design-by-contract-preconditions Removing print :P push 13 Oct 2016 10:33PM UTC javierfernandes travis-ci pending completion  
1789 dev-design-by-contract-preconditions Adding validator for disabled language features usage push 06 Oct 2016 03:21PM UTC javierfernandes travis-ci pending completion  
1788 dev-design-by-contract-preconditions Implementing highlight logic integrated with enabled/disabled features of the language. If a grammar rule is disabled then it won't highlight anything within it push 06 Oct 2016 02:28PM UTC javierfernandes travis-ci pending completion  
1787 dev-design-by-contract-preconditions Disabling more features from autocomplete based on the rules preferences push 06 Oct 2016 12:00PM UTC javierfernandes travis-ci pending completion  
See All Builds (4135)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc