Skip to content

Commit

Permalink
Add punctuation remoced due to main merge
Browse files Browse the repository at this point in the history
  • Loading branch information
@p-offtermatt
p-offtermatt authored Dec 6, 2023
1 parent 064188e commit d689142
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions TESTING.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ To run integration tests against your own consumer/provider implementations, use

## Model-Based Tests (MBT)

[MBT](tests/mbt/) tests are similar to integration tests, but they compare the system state to an expected state generated from a formally verified specification written in Quint
[MBT](tests/mbt/) tests are similar to integration tests, but they compare the system state to an expected state generated from a formally verified specification written in Quint.

## End-to-End (E2E) Tests

Expand Down Expand Up @@ -128,4 +128,4 @@ If using VSCode, see [vscode-go/wiki/debugging](https://github.com/golang/vscode

## More

More instructions will be added soon, in time for the testnet.
More instructions will be added soon, in time for the testnet.

0 comments on commit d689142

Please sign in to comment.