Skip to content

GitLab

Spot
Spot
Closed
Opened by Alexandre Duret-Lutz@adlOwner

deterministic monitors are going through simulation-based reductions

This code from postprocessor seems to be doing extra work:

   if (type_ == Monitor)
      {
        if (PREF_ == Deterministic)
          a = minimize_monitor(a);
        else
          strip_acceptance_here(a);

        if (PREF_ == Any)
          return a;

        a = do_simul(a, simul_);

If a is the output of minimize_monitor(a), then is is already minimal and a = do_simul(a, simul_); cannot improve anything.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information