Issue 584 sap assumptions

[markXLIX]

Closes #584

• assumptions and assumption ordering has assert, diagnostic, and xspec tests
• formatting

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  +1   0s :stopwatch: ±0s 755 tests +4  708 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  776 runs  +4  727 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit ccad5bf8. ± Comparison against base commit b726f41e.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  +1   0s :stopwatch: ±0s 755 tests +4  708 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  776 runs  +4  727 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit ccad5bf8. ± Comparison against base commit b726f41e.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  +1   0s :stopwatch: ±0s 755 tests +4  708 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  776 runs  +4  727 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 17bea92c. ± Comparison against base commit b726f41e.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    28 suites  +1   0s :stopwatch: ±0s 759 tests +4  712 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  780 runs  +4  731 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 890a034b. ± Comparison against base commit 350ae966.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    28 suites  +1   0s :stopwatch: ±0s 759 tests +4  712 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  780 runs  +4  731 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 890a034b. ± Comparison against base commit 350ae966.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  ±0   0s :stopwatch: ±0s 783 tests +4  736 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  804 runs  +4  755 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 327ed65b. ± Comparison against base commit e25ccf25.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  ±0   0s :stopwatch: ±0s 783 tests +4  736 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  804 runs  +4  755 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 327ed65b. ± Comparison against base commit e25ccf25.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  ±0   0s :stopwatch: ±0s 784 tests +4  737 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  805 runs  +4  756 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 1fb536c3. ± Comparison against base commit c7d8349d.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  ±0   0s :stopwatch: ±0s 784 tests +4  737 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  805 runs  +4  756 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 1fb536c3. ± Comparison against base commit c7d8349d.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  ±0   0s :stopwatch: ±0s 785 tests +4  738 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  806 runs  +4  757 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 8e7aa012. ± Comparison against base commit b75b633e.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  ±0   0s :stopwatch: ±0s 785 tests +4  738 :heavy_check_mark: +4  47 :zzz: ±0  0 :x: ±0  806 runs  +4  757 :heavy_check_mark: +4  49 :zzz: ±0  0 :x: ±0 

Results for commit 8e7aa012. ± Comparison against base commit b75b633e.

[github-actions[bot]]

XSpec Test Results

    5 files  ±0    27 suites  ±0   0s :stopwatch: ±0s 785 tests ±0  738 :heavy_check_mark: ±0  47 :zzz: ±0  0 :x: ±0  806 runs  ±0  757 :heavy_check_mark: ±0  49 :zzz: ±0  0 :x: ±0 

Results for commit d9db4c0b. ± Comparison against base commit d9db4c0b.