Specifying initial state of a spec while running TLC

33 views
Skip to first unread message

Aman Shaikh

unread,
Jan 29, 2023, 7:30:39 PM1/29/23
to tlaplus
Hi

TLC usually computes the initial-state of a spec while performing model checking. Is it possible to provide this initial state as input to TLC?

thx
aman
Reply all
Reply to author
Forward
0 new messages