Search results

Interactive simulation shows unexecutable choices

Status: Open.

#84 In nimble-code/Spin;

· LauraPanizo opened on Sep 16, 2025

Trail replay results in "transition failed" or negative step counts

Status: Open.

#83 In nimble-code/Spin;

· mkakh opened on Sep 12, 2025

SPIN fails to find assertion violation with -run

Status: Open.

#78 In nimble-code/Spin;

· ericmercer opened on Jan 13, 2025

mtype subtype checking fails when read to fields in typedef

Status: Open.

#70 In nimble-code/Spin;

· liuzikai opened on Mar 7, 2024