;;; -*- scheme -*-
;;; misc_lts_diagnose — smoke test for `nucleos lts-diagnose`
;;; (per-state verbose LTS-exploration tracer; task #128). run.sh
;;; asserts the [dbg] trace contract; no dzn/mCRL2 dependency.
