stateforward-sml 1.2.0

sml.rs: a no-std Rust implementation of the sml.cpp transition-table DSL
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// Nanosecond-resolution harness for ../sml.cpp's canonical CD-player workload.
#include <cassert>
#include <chrono>
#include <iostream>

#include "sml_player_sm.hpp"

int main() {
  sml::sm<player> machine;
  const auto start = std::chrono::steady_clock::now();
  run_player_one_million(machine);
  const auto elapsed = std::chrono::steady_clock::now() - start;
  const auto nanoseconds =
      std::chrono::duration_cast<std::chrono::nanoseconds>(elapsed).count();
  assert(machine.is(sml::state<class Empty>));
  std::cout << nanoseconds << " ns total; "
            << static_cast<double>(nanoseconds) / 11'000'000.0
            << " ns/event\n";
}