#!hacchpsimguile -b
!#
;; "timed-token-ring-b-01.hacchpsimscm"
;; vi: ft=scheme
;;	$Id: timed-token-ring-b-01.hacchpsimscm,v 1.3 2008/05/08 04:34:47 fang Exp $
;; @haco@ timed-token-ring-b.haco-a
;; @chpsimtrace@ timed-token-ring-b-01.chpsimtrace

;; Testing failure to open trace file.

(use-modules (ice-9 streams))
(use-modules (hackt chpsim-primitives))

(define trace-name "timed-token-ring-b-01.chpsimtrace")

(load-from-path "basic-trace-analysis.hacchpsimscm")

"expect cycle time 12 (6 * 2.0), forward-latency is limiting factor."

(define cycle-reference '(channel . 1))

(load-from-path "trace-reference-cycle.hacchpsimscm")

"Expect channel to be send-critical:"
(channel-send-receive-criticality crit "ring.M[0]")
(channel-send-receive-criticality crit "ring.M[3]")


