riscv_termination_duo.sail\model - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

index : sail-riscv.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/model/riscv_termination_duo.sail

blob: 74ee253b8b0291f8f877b6b29f067fa9c60f4a30 (plain)

1	`termination_measure n_leading_spaces s = string_length(s)`