Report One Error Per Path, Recover From Pure Assertions#575

Merged

mschwerhoff merged 79 commits into

viperproject:masterfrom

tschoesi:final_merge_with_upstream

Sep 9, 2021

Commits on May 2, 2021

Commits on May 18, 2021

add comment about execution of argument
tschoesi
committed

Commits on May 20, 2021

Merge branch 'master' into feature/recover_from_failed_pure
Josua Stuck
committed

Commits on Jun 9, 2021

support recovering from pure assertions
Josua Stuck
committed
add tests for failing pure assertions
Josua Stuck
committed

Commits on Jun 20, 2021

Commits on Jun 21, 2021

cosmetic change
tschoesi
committed

Commits on Jun 22, 2021

Merge branch 'feature/one_error_per_branch' into feature/report_branch_conditions
tschoesi
authored

Commits on Jun 25, 2021

cosmetic change
Josua Stuck
committed
change branchcondition stack to option
Josua Stuck
committed
change line endings to LF
Josua Stuck
committed
add space after comma
Josua Stuck
committed
remove unused imports
Josua Stuck
committed

Commits on Jun 27, 2021

merge master bc. line endings
Josua Stuck
committed

Commits on Jun 29, 2021

add some tests with failing pure assertions
Josua Stuck
committed
support recovering from pure assertions
Josua Stuck
committed
add tests for failing pure assertions
Josua Stuck
committed
add some tests with failing pure assertions
Josua Stuck
committed
Merge remote-tracking branch 'origin/feature/recover_from_failed_pure' into feature/recover_from_failed_pure
Josua Stuck
committed
add support for reporting the branch conditions of failed assertions

tschoesi
authored and
Josua Stuck
committed
add support for reporting the branch conditions of failed assertions

tschoesi
authored and
Josua Stuck
committed
fix empty reduce error

tschoesi
authored and
Josua Stuck
committed
cosmetic change

tschoesi
authored and
Josua Stuck
committed
cosmetic change
Josua Stuck
committed
change branchcondition stack to option
Josua Stuck
committed
add space after comma
Josua Stuck
committed
remove unused imports
Josua Stuck
committed
Merge remote-tracking branch 'origin/feature/report_branch_conditions' into feature/report_branch_conditions
Josua Stuck
committed
change reporting of branchconditions
Josua Stuck
committed

Commits on Jun 30, 2021

Commits on Jul 2, 2021

add FailureContext
Josua Stuck
committed
add FailureContext
Josua Stuck
committed
change toString to mkString
Josua Stuck
committed

Commits on Jul 4, 2021

add some tests
tschoesi
committed

Commits on Jul 6, 2021

add FailureContext to Silver
tschoesi
committed

Commits on Jul 8, 2021

Merge branch 'master' into feature/report_branch_conditions_merge_with_master
tschoesi
committed

Commits on Jul 13, 2021

Commits on Jul 25, 2021

Commits on Aug 18, 2021

fixes mechanism to report number or errors reported
tschoesi
committed

Commits on Aug 20, 2021

add atomic integer counter
tschoesi
committed

Commits on Aug 22, 2021

only explore continuation if more errors allowed (even if first op is not a failure)
tschoesi
committed

Commits on Aug 26, 2021

Commits on Aug 27, 2021

fix bug that caused quantifiers.vpr to fail
tschoesi
committed

Commits on Aug 28, 2021

count errors per member
tschoesi
committed

Commits on Aug 31, 2021

Commits on Sep 4, 2021

Commits on Sep 5, 2021

disable branchConditionReporting by default
tschoesi
committed

⚡