diff options
| author | eunhhu <[email protected]> | 2026-09-25 15:50:37 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-25 15:50:37 +0100 |
| commit | fd16040840e3f1392da9b4ed4175c6f4fc24a803 (patch) | |
| tree | 8315e95242e9367052d9a9221d906c155942495e /README.md | |
| parent | 2685f20d09b384309de294947099ce2ae29d13b8 (diff) | |
| download | aup-fd16040840e3f1392da9b4ed4175c6f4fc24a803.tar.gz aup-fd16040840e3f1392da9b4ed4175c6f4fc24a803.zip | |
Check declared state across restarts
The list app and the text editor run on a tree store through pure-run
--store, restarting at random points, and must keep matching their
reference models. The language notes state that a declared state is a
stored state when the host gives a store.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -21,9 +21,10 @@ build/aup build examples/notes.aup -o notes.pmod printf 'type typed %s\ndown left\nshow\n' "$(printf '안녕' | xxd -p)" | ../pure/prototypes/connections/build/pure-run notes.pmod build/aup build examples/tasks.aup -o tasks.pmod printf 'type typed %s\ndown again\ndown toggle\nshow\n' "$(printf '우유' | xxd -p)" | ../pure/prototypes/connections/build/pure-run tasks.pmod +../pure/prototypes/connections/build/pure-run tasks.pmod --store /tmp/tasks < /dev/null # 상태는 저장소에 남는다 build/aup build examples/editor.aup -o editor.pmod ../pure/prototypes/connections/build/pure-edit-module --module editor.pmod --store /tmp/docs show note -make check # Pure 검증, 결정성, 진단, 워크벤치·기존 편집기·text·리스트 참조 모델과의 대조 +make check # Pure 검증, 결정성, 진단, 워크벤치·기존 편집기·text·리스트 참조 모델과의 대조, 재시작을 끼운 영속 대조 ``` `make check`는 옆의 Pure 체크아웃(`PURE=../pure/prototypes/connections`)의 검증기와 시험 호스트를 쓰고, |