Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
Co-authored-by: Alex Chew <alex-chew@users.noreply.github.com>
  • Loading branch information
robin-aws and alex-chew authored Nov 16, 2023
1 parent c38c629 commit ff2b520
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Source/DafnyStandardLibraries/CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -63,10 +63,10 @@ The build process applies `dafny format` to all source.

### Packaging

The standard libraries are built together into a multiple `DafnyStandardLibraries*.doo` files,
The standard libraries are built together into multiple `DafnyStandardLibraries*.doo` files,
which are included as embedded resources in `DafnyPipeline.dll`.
These are then added as additional implicit input when `--standard-libraries` is switched on.
Having multiple files allows some code to be verified with different flags,
Having multiple `.doo` files allows each of them to be verified with different flags,
such as `--disable-nonlinear-arithmetic`.
This doesn't affect the end user experience, as Dafny checks that each `.doo` file
is compatible with the current set of options independently,
Expand Down

0 comments on commit ff2b520

Please sign in to comment.