search

dannybpoulsen / minimc

7 stars 2 forks source link

NonDet is always expanded in MC #7

Closed dannybpoulsen closed 2 years ago

dannybpoulsen commented 2 years ago

NonDeterministic instructions are always expanded which should only happen if using explicit representation