Skip to content

Commit

Permalink
Merge branch 'main' into change-tuple-structure
Browse files Browse the repository at this point in the history
  • Loading branch information
MahtabNorouzi authored Dec 9, 2024
2 parents fd0a551 + 7b968e5 commit d7c4c7c
Show file tree
Hide file tree
Showing 7 changed files with 28 additions and 6 deletions.
14 changes: 14 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,20 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
### Fixed
### Security

## v0.22.4 -- 2024-11-19

### Added
### Changed
### Deprecated
### Removed
### Fixed

- Fixed a problem where traces other than the first one when `--n-traces` > 1
and `--mbt` is true had the incorrect `action_taken` and `nondet_picks` values
(#1553).

### Security

## v0.22.3 -- 2024-10-28

### Added
Expand Down
2 changes: 1 addition & 1 deletion docs/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

- [Language tutorials](../tutorials/README.md)
- [Syntax specification](./lang.md)
- [Cheatsheet](./quint-cheatsheet.pdf)
- [Cheatsheet](./public/quint-cheatsheet.pdf)
- [API documentation for built-in operators](./builtin.md)

## Tooling
Expand Down
4 changes: 3 additions & 1 deletion quint/io-cli-tests.md
Original file line number Diff line number Diff line change
Expand Up @@ -894,14 +894,16 @@ rm out-itf-example.itf.json

<!-- !test in run with n-traces itf -->
```
quint run --out-itf=out-itf-example.itf.json --n-traces=3 --max-steps=5 --seed=123 ../examples/tutorials/coin.qnt
quint run --out-itf=out-itf-example.itf.json --n-traces=3 --mbt --max-steps=5 --seed=123 ../examples/tutorials/coin.qnt
cat out-itf-example0.itf.json | jq '.["#meta"].status'
cat out-itf-example1.itf.json | jq '.states[0].action_taken'
rm out-itf-example*.itf.json
```

<!-- !test out run with n-traces itf -->
```
"ok"
"init"
```

### Run to generate multiple ITF traces with violation
Expand Down
4 changes: 2 additions & 2 deletions quint/package-lock.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion quint/package.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "@informalsystems/quint",
"version": "0.22.3",
"version": "0.22.4",
"description": "Core tool for the Quint specification language",
"keywords": [
"temporal",
Expand Down
6 changes: 6 additions & 0 deletions quint/src/runtime/impl/VarStorage.ts
Original file line number Diff line number Diff line change
Expand Up @@ -140,6 +140,12 @@ export class VarStorage {
reset() {
this.vars.forEach(reg => (reg.value = initialRegisterValue(reg.name)))
this.nextVars.forEach(reg => (reg.value = initialRegisterValue(reg.name)))
if (this.storeMetadata) {
this.actionTaken = undefined
this.nondetPicks.forEach((_, key) => {
this.nondetPicks.set(key, undefined)
})
}
}

/**
Expand Down
2 changes: 1 addition & 1 deletion quint/src/version.ts
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
// Generated by genversion.
export const version = '0.22.3'
export const version = '0.22.4'

0 comments on commit d7c4c7c

Please sign in to comment.