Skip to content
Snippets Groups Projects

Fix prior changing

Merged Colm Talbot requested to merge fix-prior-changing into master

Some of the priors we previously weren't able to change the limits after creating them. This MR makes that possible for all priors with finite domains and adds a test of it.

It required some rewriting of a few priors.

I did branch this form a different unmerged branch, but I think I removed everything new.

Merge request reports

Pipeline #51508 passed

Pipeline passed for 2a776363 on fix-prior-changing

Test coverage 73.00% (0.00%) from 1 job
Approved by

Merged by Colm TalbotColm Talbot 6 years ago (Mar 4, 2019 11:58pm UTC)

Merge details

  • Changes merged into master with 8bc0ca98 (commits were squashed).
  • Deleted the source branch.

Pipeline #51790 passed with warnings

Pipeline passed with warnings for 8bc0ca98 on master

Test coverage 73.00% (0.00%) from 1 job

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading