Adjustments to validator#7

Open

thk123 wants to merge 16 commits intohannes-steffenhagen-diffblue:ci/xsd-validationfrom

thk123:adjustments-to-validator

Commits on Apr 29, 2020

Add tests verifying the incremental status is output
Thomas Kiley
committed

Commits on May 1, 2020

Move documentation of more advanced features from the user manual to the developer manual
danpoe
committed
Fix dead links in cprover manual
danpoe
committed
Tests for incremental status with multiple properties
Thomas Kiley
committed
Print incremental-status when doing incremental solving
Thomas Kiley
committed
Tweak where we print the incremental status
Thomas Kiley
committed
Adapt tests for printing
Thomas Kiley
committed
Add tests for when the program verifies
Thomas Kiley
committed
Add test to check for no incremental status when no properties to check
Thomas Kiley
committed

Commits on May 2, 2020

Merge pull request #5330 from danpoe/fixes/dead-links-in-user-manual
danpoe
authored

Commits on May 4, 2020

Merge pull request #5316 from thk123/print-status-during-incremental-solving
NlightNFotis
authored

Commits on May 5, 2020

Commits on May 6, 2020

Merge pull request #5278 from hannes-steffenhagen-diffblue/ci/xsd-validation
Thomas Kiley
authored
Correct typo in comment
Thomas Kiley
committed